Publications

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Baek, W., N. G. Bronson, C. Kozyrakis, and K. Olukotun, "Implementing and Evaluating a Model Checker for Transactional Memory Systems.", ICECCS: IEEE Computer Society, pp. 117-126, 2010.  Download: paper (286.35 KB)
Baek, W., R. Yoo, and C. Kozyrakis, "Enhanced Concurrency Control with Transactional NACKs,", 8th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), Houston, TX, 03/2013, 2012.  Download: paper (203 KB)
A