JRF-E: using model checking to give advice on eliminating memory model-related bugs.
Autom. Softw. Eng., 2012
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.
Proceedings of the ASE 2009, 2009
Assertional reasoning about data races in relaxed memory models.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008