Malavika Samak

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Program Synthesis

Mutual Exclusion

Class Hierarchy

Deadlock Detection

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion Volume)

Publications

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