HomeJRF_Home.htmlshapeimage_2_link_0
NewsNews.htmlshapeimage_3_link_0
DownloadDownload.htmlshapeimage_4_link_0
PeoplePeople.htmlshapeimage_5_link_0
LinksLinks.htmlshapeimage_6_link_0
Documentshapeimage_7_link_0


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.