Peer-reviewed Publications

• RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms.
  Michael Wang, Shashank Srikant, Malavika Samak, Una-May O’Reilly.
  12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis.
  June, 2023.

• Searching for Replacement Classes.
  Malavika Samak, Jose Pablo Cambronero, Martin Rinard.
  arxiv.
  October, 2021.

• Synthesizing Replacement Classes.
  Malavika Samak, Deokhwan Kim, Martin Rinard.
  47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).
  January, 2020. Slides.

• Optimizing Big-Data Queries Using Program Synthesis.
  Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak.
  26th ACM Symposium on Operating Systems Principles (SOSP).
  October, 2017.

• Directed Synthesis of Failing Concurrent Executions.
  Malavika Samak, Omer Tripp, Murali Krishna Ramanathan.
  Annual Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA).
  October, 2016. Slides.

• Synthesizing Tests for Detecting Atomicity Violations.
  Malavika Samak, Murali Krishna Ramanathan.
  10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE).
  September, 2015. Slides. (Software)

• Synthesizing Racy Tests.
  Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan.
  36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
  June, 2015. Slides. (Software)

• Multithreaded Test Synthesis for Deadlock Detection.
  Malavika Samak, Murali Krishna Ramanathan.
  Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
  October, 2014. (Software)

• Trace Driven Dynamic Deadlock Detection and Reproduction.
  Malavika Samak, Murali Krishna Ramanathan.
  19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP).
  February, 2014.

Tool Papers

• Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries.
  Malavika Samak, Murali Krishna Ramanathan.
  22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE).
  November, 2014.

• Omen: A Tool for Synthesizing Tests for Deadlock Detection.
  Malavika Samak, Murali Krishna Ramanathan.
  Proceedings of the companion publication of the 2014 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH).
  October, 2014.