Paper
JRF-E: Using Model Checking to give Advice on Eliminating Memory Model-related Bugs
Kim, K., Yavuz-Kahveci, T., and Sanders, B. A. 2010. In Proceedings of the 25th ACM/IEEE
Conference on Automated Software Engineering
Precise data race detection in a relaxed memory model using heuristic-based model checking
Kim, K., Yavuz-Kahveci, T., and Sanders, B. A. 2009. In Proceedings of the 24th ACM/IEEE
Conference on Automated Software Engineering
Assertional reasoning about data races in a relaxed memory models
Sanders, B. A. and Kim, K. 2008. In PPoPP ’08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Technical Report
Precise data race detection in a relaxed memory model using model checking
Kim, K., Yavuz-Kahveci, T., and Sanders, B. A. 2009. Tech. Rep. REP-2009-480, University of Florida.