Model Checking

Implementing and Evaluating a Model Checker for Transactional Memory Systems
Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility …
Woongki Baek, Nathan Bronson, Christos Kozyrakis, Kunle Olukotun
Cite DOI