Peer-reviewed Publications

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.