Follow
Malavika Samak
Malavika Samak
Verified email at csail.mit.edu - Homepage
Title
Cited by
Cited by
Year
Multithreaded test synthesis for deadlock detection
M Samak, MK Ramanathan
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
472014
Synthesizing racy tests
M Samak, MK Ramanathan, S Jagannathan
ACM SIGPLAN Notices 50 (6), 175-185, 2015
452015
Trace driven dynamic deadlock detection and reproduction
M Samak, MK Ramanathan
ACM SIGPLAN Notices 49 (8), 29-42, 2014
412014
Synthesizing tests for detecting atomicity violations
M Samak, MK Ramanathan
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
372015
Directed synthesis of failing concurrent executions
M Samak, O Tripp, MK Ramanathan
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
182016
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
172017
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
112014
Synthesizing replacement classes
M Samak, D Kim, MC Rinard
Proceedings of the ACM on Programming Languages 4 (POPL), 1-33, 2019
82019
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
32014
Searching for Replacement Classes
M Samak, JP Cambronero, MC Rinard
arXiv preprint arXiv:2110.05638, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–13