| Multithreaded test synthesis for deadlock detection M Samak, MK Ramanathan Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 51 | 2014 |
| Synthesizing racy tests M Samak, MK Ramanathan, S Jagannathan ACM SIGPLAN Notices 50 (6), 175-185, 2015 | 49 | 2015 |
| Trace driven dynamic deadlock detection and reproduction M Samak, MK Ramanathan ACM SIGPLAN Notices 49 (8), 29-42, 2014 | 46 | 2014 |
| Synthesizing tests for detecting atomicity violations M Samak, MK Ramanathan Proceedings of the 2015 10th Joint Meeting on foundations of software …, 2015 | 39 | 2015 |
| Directed synthesis of failing concurrent executions M Samak, O Tripp, MK Ramanathan Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 21 | 2016 |
| Optimizing big-data queries using program synthesis M Schlaipfer, K Rajan, A Lal, M Samak Proceedings of the 26th Symposium on Operating Systems Principles, 631-646, 2017 | 19 | 2017 |
| Synthesizing replacement classes M Samak, D Kim, MC Rinard Proceedings of the ACM on Programming Languages 4 (POPL), 1-33, 2019 | 11 | 2019 |
| Omen+: A precise dynamic deadlock detector for multithreaded Java libraries M Samak, MK Ramanathan Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 11 | 2014 |
| Omen: a tool for synthesizing tests for deadlock detection M Samak, MK Ramanathan Proceedings of the companion publication of the 2014 ACM SIGPLAN conference …, 2014 | 3 | 2014 |
| Searching for Replacement Classes M Samak, JP Cambronero, MC Rinard arXiv preprint arXiv:2110.05638, 2021 | 1 | 2021 |
| Clearscope: Full Stack Provenance Graph Generation for Transparent Computing on Mobile Devices M Gordon, J Eikenberry, A Eden, J Perkins, M Samak, H Sipma, M Rinard Massachusetts Institute of Technology, 2020 | | 2020 |
| Targeted Client Synthesis for Detecting Concurrency Bugs M Samak | | 2018 |
| Beiträge in Tagungsbänden M Schlaipfer, K Rajan, A Lal, M Samak | | |
martin rinardMITVerified email at lcs.mit.edu
