Malavika Samak

11 papers A* 2A 2B 1Journal 2Unranked 4
YearRankTypeTitle / 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