Implementing and Evaluating a Model Checker for Transactional Memory Systems.

Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun

Browse the full ICECCS paper archive.