2013

• Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodik, Madan Musuvathi, Zheng Zhang, and Lidong Zhou, Failure Recovery: When the Cure Is Worse Than the Disease, in HotOS, USENIX, 13 May 2013

2012

• Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, and Madanlal Musuvathi, Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection, in Programming Languages Design and Implementation, ACM SIGPLAN, July 2012
• Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, and Madanlal Musuvathi, End-To-End Sequential Consistency, in International Symposium on Computer Architecture, ACM, June 2012
• Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi, What's Decidable About Weak Memory Models?, in 21st European Symposium on Programming (ESOP 2012), Springer, 26 March 2012
• Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang, Concurrent Library Correctness on the TSO Memory Model, in 21st European Symposium on Programming (ESOP 2012), Springer, 26 March 2012

2011

• Nupur Kothari, Ratul Mahajan, Todd Millstein, Ramesh Govindan, and Madan Musuvathi, Finding Protocol Manipulation Attacks, ACM SIGCOMM, August 2011
• Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, and Satish Narayanasamy, A Case for an SC-Preserving Compiler, in Programming Language Design and Implementation (PLDI) 2011, ACM SIGPLAN, June 2011

2010

• John Erickson, Madanlal Musuvathi, sebastian burckhardt, and kirk olynyk, Effective Data-Race Detection for the Kernel, in Operating System Design and Implementation (OSDI'10), USENIX, October 2010
• Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, and Roy Tan, Line-Up: A Complete and Automatic Linearizability Checker, in Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., 5 June 2010
• Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, and Satish Narayanasamy, DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages , in International Conference on Programming Language Design and Implementation (PLDI). , Association for Computing Machinery, Inc., June 2010
• Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madanlal Musuvathi, and Shaz Qadeer, Preemption Sealing for Efficient Concurrency Testing, in Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, April 2010
• Sebastian Burckhardt, Madanlal Musuvathi, and Vasu Singh, Verifying Local Transformations of Concurrent Programs, in CC 2010: International Conference on Compiler Construction, Springer Verlag, 25 March 2010
• Madanlal Musuvathi, Sebastian Burckhardt, Pravesh Kothari, and Santosh Nagarakatte, A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, in Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010), Association for Computing Machinery, Inc., 16 March 2010
• Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi, On the Verification Problem for Weak Memory Models, in Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, Inc., 20 January 2010
• Katherine E. Coons, Madanlal Musuvathi, and Sebastian Burckhardt, GAMBIT: Effective Unit Testing for Concurrency Libraries, in Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, Inc., 11 January 2010
• Emre Kıcıman, Benjamin Livshits, Madanlal Musuvathi, and Kevin C. Webb, Fluxo: A System for Internet Service Programming by Non-expert Developers, in ACM Symposium on Cloud Computing, Association for Computing Machinery, Inc., 2010

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
• Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy, LiteRace: Effective Sampling for Lightweight Data-Race Detection, in Conference on Programming Language Design and Implementation (PLDI '09), Association for Computing Machinery, Inc., June 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
• S. Burckhardt and M. Musuvathi, Effective Program Verification for Relaxed Memory Models, in Computer-Aided Verification (CAV), Springer Verlag, July 2008
• Sebastian Burckhardt and Madanlal Musuvathi, Memory Model Safety of Programs, 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, An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals, in Electr. Notes Theor. Comput. Sci., vol. 144, no. 2, pp. 27-41, Elsevier , 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

2004

• Junfeng Yang, Paul Twohey, Dawson R. Engler, and Madanlal Musuvathi, Using model checking to find serious file system errors, in OSDI 04: Sixth Symposium on Operating Systems Design & Implementation, USENIX, December 2004
• Madanlal Musuvathi and Dawson R. Engler, Model-checking large network protocol implementations, in in NSDI 2004: First symposium on Networked Systems Design and Implementation, USENIX, 2004

2003

• Madanlal Musuvathi and Dawson R. Engler, Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding, in Electr. Notes Theor. Comput. Sci., vol. 89, no. 3, July 2003

2002

• Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, and David L. Dill, CMC: A pragmatic approach to model checking real code, in OSDI 02: Fifth Symposium on Operating Systems Design and Implementation, USENIX, December 2002

2012

• Thomas Ball, John Erickson, and Madanlal Musuvathi, Lightweight Log-based Code Coverage, no. MSR-TR-2012-48, May 2012

2010

• sebastian burckhardt, Pravesh Kothari, Madanlal Musuvathi, and Santosh Nagarakatte, A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs, no. MSR-TR-2010-3, January 2010

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

• Daniel Marino, Madanlal Musuvathi, and Satish Narayanasamy, Effective Sampling for Lightweight Data-Race Detection, no. MSR-TR-2008-175, November 2008
• Sebastian Burckhardt, Madanlal Musuvathi, and Vasu singh, Verifying Compiler Transformations for Concurrent Programs, no. MSR-TR-2008-171, November 2008
• Nikolaj Bjorner, Andreas Blass, Yuri Gurevich, and Madanlal Musuvathi, Modular difference logic is hard, no. MSR-TR-2008-140, October 2008
• Madanlal Musuvathi and Shaz Qadeer, Concurrency Unit Testing with CHESS, no. MSR-TR-2008-04, January 2008
• Sebastian Burckhardt and Madanlal Musuvathi, Effective Program Verification for Relaxed Memory Models, no. MSR-TR-2008-12, 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, Iterative Context Bounding for Systematic Testing of Multithreaded Programs, no. MSR-TR-2007-14, January 2007
• Madanlal Musuvathi and Shaz Qadeer, Partial-Order Reduction for Context-Bounded State Exploration, no. MSR-TR-2007-12, 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