Multithreaded test synthesis for deadlock detection. - Malavika Samak; Murali Krishna Ramanathan (OOPSLA, 2014)

Omen: a tool for synthesizing tests for deadlock detection. - Malavika Samak; Murali Krishna Ramanathan (SPLASH (Companion Volume), 2014)

Trace driven dynamic deadlock detection and reproduction. - Malavika Samak; Murali Krishna Ramanathan (PPoPP, 2014)

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries. - Malavika Samak; Murali Krishna Ramanathan (SIGSOFT FSE, 2014)

Synthesizing racy tests. - Malavika Samak; Murali Krishna Ramanathan; Suresh Jagannathan (PLDI, 2015)

Synthesizing tests for detecting atomicity violations. - Malavika Samak; Murali Krishna Ramanathan (ESEC/SIGSOFT FSE, 2015)

Directed synthesis of failing concurrent executions. - Malavika Samak; Omer Tripp; Murali Krishna Ramanathan (OOPSLA, 2016)

Optimizing Big-Data Queries Using Program Synthesis. - Matthias Schlaipfer; Kaushik Rajan; Akash Lal; Malavika Samak (SOSP, 2017)

Synthesizing replacement classes. - Malavika Samak; Deokhwan Kim; Martin C. Rinard (Proc. ACM Program. Lang., 2020)

Searching for Replacement Classes. - Malavika Samak; José Pablo Cambronero; Martin C. Rinard (CoRR, 2021)

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. - Michael Wang; Shashank Srikant; Malavika Samak; Una-May O'Reilly (SOAP@PLDI, 2023)