2012
JRF-E: using model checking to give advice on eliminating memory model-related bugs.
Autom. Softw. Eng., 2012

2009
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.
Proceedings of the ASE 2009, 2009

2008
Assertional reasoning about data races in relaxed memory models.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008