Madan Musuvathi's publications
Conference
2009
- Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi, CatchAndRetry: Extending Exceptions to Handle Distributed System Failures and Recovery, in Programming Languages and Operating Systems (PLOS), October 2009
- Emre Kiciman, Ben Livshits, and Madanlal Musuvathi, FLUXO: A Simple Service Compiler, in 12th Workshop on Hot Topics in Operating Systems, USENIX, 18 May 2009
- Alex Rasmussen, Emre Kiciman, Benjamin Livshits, and Madanlal Musuvathi, (Short Paper) Improving the Responsiveness of Internet Services with Automatic Cache Placement, in EuroSys 2009, Association for Computing Machinery, Inc., 1 April 2009
2008
- Madanlal Musuvathi, Shaz Qadeer, Tom Ball, Gerard Basler, Piramanayakam Arumuga Nainar, and Iulian Neamtiu, Finding and Reproducing Heisenbugs in Concurrent Programs, in OSDI 08: Eigth Symposium on Operating Systems Design & Implementation, USENIX, December 2008
- Milan Stanojevic, Ratul Mahajan, Todd Millstein, and Madanlal Musuvathi, Can You Fool Me? Towards Automatically Checking Protocol Gullibility, in in HotNets '08, Seventh ACM Workship on Hot Topics in Networks , Association for Computing Machinery, Inc., October 2008
- Sebastian Burckhardt and Madanlal Musuvathi, Memory Model Safety of Programs, July 2008
- S. Burckhardt and M. Musuvathi, Effective Program Verification for Relaxed Memory Models, in Computer-Aided Verification (CAV), Springer Verlag, July 2008
- Madanlal Musuvathi and Shaz Qadeer, Fair stateless model checking, in PLDI 08: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2008
2007
- Madanlal Musuvathi and Shaz Qadeer, Iterative context bounding for systematic testing of multithreaded programs, in PLDI 07: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2007
2006
- Shuvendu K. Lahiri and Madanlal Musuvathi, Solving Sparse Linear Constraints, in Automated Reasoning, Third International Joint Conference (IJCAR '06), Springer, 2006
2005
- Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi, Zap: Automated Theorem Proving for Software Analysis, in Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05), Springer Verlag, October 2005
- Madanlal Musuvathi and David L. Dill, An Incremental Heap Canonicalization Algorithm, in SPIN 05: SPIN Workshop, Springer Verlag, August 2005
- Greta Yorsh and Madanlal Musuvathi, A Combination Method for Generating Interpolants, in in CADE 2005: Twentieth International Conference on Automated Deduction., Springer-Verlag, July 2005
- Shuvendu Lahiri and Madanlal Musuvathi, An Efficient Decision Procedure for UTVPI Constraints, in Frontiers of Combining Systems (FroCos '05), Springer Verlag, May 2005
- K. Rustan M. Leino, Madanlal Musuvathi, and Xinmin Ou, A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover, in in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software , Springer Verlag, April 2005
Technical Reports
2009
- Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madanlal Musuvathi, and Shaz Qadeer, Preemption Sealing for Efficient Concurrency Testing, no. MSR-TR-2009-143, 13 October 2009
2008
- Sebastian Burckhardt, Madanlal Musuvathi, and Vasu singh, Verifying Compiler Transformations for Concurrent Programs, no. MSR-TR-2008-171, November 2008
- Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy, Effective Sampling for Lightweight Data-Race Detection, no. MSR-TR-2008-175, November 2008
- Nikolaj Bjorner, Andreas Blass, Yuri Gurevich, and Madanlal Musuvathi, Modular difference logic is hard, no. MSR-TR-2008-140, October 2008
- Sebastian Burckhardt and Madanlal Musuvathi, Effective Program Verification for Relaxed Memory Models, no. MSR-TR-2008-12, January 2008
- Madanlal Musuvathi and Shaz Qadeer, Concurrency Unit Testing with CHESS, no. MSR-TR-2008-04, January 2008
2007
- Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball, CHESS: A systematic testing tool for concurrent software, no. MSR-TR-2007-149, November 2007
- Madanlal Musuvathi and Shaz Qadeer, Partial-Order Reduction for Context-Bounded State Exploration, no. MSR-TR-2007-12, January 2007
- Madanlal Musuvathi and Shaz Qadeer, Iterative Context Bounding for Systematic Testing of Multithreaded Programs, no. MSR-TR-2007-14, January 2007
2006
- Sumit Gulwani and Madanlal Musuvathi, Cover Algorithms and their Combination, no. MSR-TR-2006-09, January 2006
2005
- Madanlal Musuvathi and Domagoj Babic, Modular Arithmetic Decision Procedure, no. MSR-TR-2005-114, August 2005
2004
- K. Rustan M. Leino, Madanlal Musuvathi, and Xinming Ou, A two-tier technique for supporting quantifiers in a lazily proof-explicating theorem prover, no. MSR-TR-2004-109, October 2004
- Madanlal Musuvathi and David L. Dill, An Incremental Heap Canonicalization Algorithm, no. MSR-TR-2004-37, April 2004



