Volgen
Malavika Samak
Malavika Samak
Apple Inc.,
Geen geverifieerd e-mailadres - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Multithreaded test synthesis for deadlock detection
M Samak, MK Ramanathan
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
532014
Synthesizing racy tests
M Samak, MK Ramanathan, S Jagannathan
ACM SIGPLAN Notices 50 (6), 175-185, 2015
522015
Trace driven dynamic deadlock detection and reproduction
M Samak, MK Ramanathan
ACM SIGPLAN Notices 49 (8), 29-42, 2014
502014
Synthesizing tests for detecting atomicity violations
M Samak, MK Ramanathan
Proceedings of the 2015 10th Joint Meeting on foundations of software …, 2015
382015
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
212017
Directed synthesis of failing concurrent executions
M Samak, O Tripp, MK Ramanathan
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
212016
Synthesizing replacement classes
M Samak, D Kim, MC Rinard
Proceedings of the ACM on Programming Languages 4 (POPL), 1-33, 2019
132019
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
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
22021
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
12023
Targeted Client Synthesis for Detecting Concurrency Bugs
M Samak
2018
Beiträge in Tagungsbänden
M Schlaipfer, K Rajan, A Lal, M Samak
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–13