Malavika Samak

11 papers A* 2A 2B 1Journal 2Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. SOAP@PLDI Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly
2021	J	`jnl`	Searching for Replacement Classes. CoRR Malavika Samak, José Pablo Cambronero, Martin C. Rinard
2020	J	`jnl`	Synthesizing replacement classes. Proc. ACM Program. Lang. Malavika Samak, Deokhwan Kim, Martin C. Rinard
2017	A*	`conf`	Optimizing Big-Data Queries Using Program Synthesis. SOSP Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak
2016	A	`conf`	Directed synthesis of failing concurrent executions. OOPSLA Malavika Samak, Omer Tripp, Murali Krishna Ramanathan
2015	A*	`conf`	Synthesizing racy tests. PLDI Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan
2015	—	`conf`	Synthesizing tests for detecting atomicity violations. ESEC/SIGSOFT FSE Malavika Samak, Murali Krishna Ramanathan
2014	A	`conf`	Multithreaded test synthesis for deadlock detection. OOPSLA Malavika Samak, Murali Krishna Ramanathan
2014	—	`conf`	Omen+: a precise dynamic deadlock detector for multithreaded Java libraries. SIGSOFT FSE Malavika Samak, Murali Krishna Ramanathan
2014	—	`conf`	Omen: a tool for synthesizing tests for deadlock detection. SPLASH (Companion Volume) Malavika Samak, Murali Krishna Ramanathan
2014	B	`conf`	Trace driven dynamic deadlock detection and reproduction. PPoPP Malavika Samak, Murali Krishna Ramanathan

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski