Malavika Samak

I am a Postdoctoral Associate at CSAIL, MIT working with Prof. Martin Rinard. I received my Ph.D. from IISc, Bangalore, and was supported by a Google India Ph.D. fellowship. My research interests are in programming languages and software engineering. More specifically:

  • static and dynamic program analysis
  • software testing and reliability
  • code search and replacement
  • program synthesis and verification
  • I am interested in designing techniques, tools, and workflows to improve developer productivity and software reliability. I have designed program analyses that enable developers to discover, reason, customize, and adapt code to build defect-free software systems. Specifically, I have worked on synthesizing targeted multithreaded tests for detecting concurrency bugs in software libraries (OOPSLA'14, PLDI'15, FSE'15, OOPSLA'16), improving the precision of dynamic analysis for bug detection (PPoPP'14), applying program synthesis for optimizing database queries (SOSP'17) and synthesizing adapters to enable software library replacement (POPL'20). Currently, I am working on efficient search techniques to identify replacement Java classes from large codebase collections (arXiv'21).

    I am on the job market this year! Research Statement, CV

    Select Publications

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

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

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