| High-coverage, unbounded sound predictive race detection J Roemer, K Genç, MD Bond ACM SIGPLAN Notices 53 (4), 374-389, 2018 | 43 | 2018 |
| Crafty: Efficient, HTM-compatible persistent transactions K Genç, MD Bond, GH Xu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 40 | 2020 |
| Smarttrack: efficient predictive race detection J Roemer, K Genç, MD Bond Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 37 | 2020 |
| Dependence-aware, unbounded sound predictive race detection K Genç, J Roemer, Y Xu, MD Bond Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 20 | 2019 |
| Practical predictive race detection J Roemer, K Genç, MD Bond arXiv preprint arXiv:1905.00494, 2019 | 2 | 2019 |