Malavika Samak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2014–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PLDI | RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. | Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly |
| 2017 | SOSP | Optimizing Big-Data Queries Using Program Synthesis. | Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak |
| 2016 | OOPSLA | Directed synthesis of failing concurrent executions. | Malavika Samak, Omer Tripp, Murali Krishna Ramanathan |
| 2015 | PLDI | Synthesizing racy tests. | Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan |
| 2014 | OOPSLA | Multithreaded test synthesis for deadlock detection. | Malavika Samak, Murali Krishna Ramanathan |
| 2014 | OOPSLA | Omen: a tool for synthesizing tests for deadlock detection. | Malavika Samak, Murali Krishna Ramanathan |
| 2014 | PPoPP | Trace driven dynamic deadlock detection and reproduction. | Malavika Samak, Murali Krishna Ramanathan |