| Synthesizing racy tests M Samak, MK Ramanathan, S Jagannathan ACM SIGPLAN Notices 50 (6), 175-185, 2015 | 56 | 2015 |
| Multithreaded test synthesis for deadlock detection M Samak, MK Ramanathan Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 56 | 2014 |
| Trace driven dynamic deadlock detection and reproduction M Samak, MK Ramanathan ACM SIGPLAN Notices 49 (8), 29-42, 2014 | 54 | 2014 |
| Synthesizing tests for detecting atomicity violations M Samak, MK Ramanathan Proceedings of the 2015 10th Joint Meeting on foundations of software …, 2015 | 41 | 2015 |
| 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 | 28 | 2017 |
| Directed synthesis of failing concurrent executions M Samak, O Tripp, MK Ramanathan Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 23 | 2016 |
| Synthesizing replacement classes M Samak, D Kim, MC Rinard Proceedings of the ACM on Programming Languages 4 (POPL), 1-33, 2019 | 22 | 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 | 12 | 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 | 2 | 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 | 2 | 2020 |
| RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms M Wang, S Srikant, M Samak, UM O’Reilly Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023 | 1 | 2023 |
| 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
