I am a researcher in the Software Reliability Research group at Microsoft Research. I am interested in the analysis of complex and large-scale systems. My research is inter-disciplinary and includes systems, networking, program analysis, model checking, verification, and theorem proving. I spend a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers.
Biography
I obtained my M.S. and Ph.D. at Stanford University, where I worked under the guidance of Prof. David L. Dill and Prof. Dawson Engler. Before that, I got my B.Tech. in Computer Science from the Indian Institute of Technology (IIT), Chennai (which was then called Madras).
Professional Activities
Program Committee: CC 2010, SPIN 2009, PADTAD 2009, SPIN 2008, Calculemus 2006
Organizing Committee: FLoC 2006
Lectures
- Lecture at U.C. Berkeley on Dynamic Program Analysis, Testing, and Debugging. (Feb 2009)
- Lecture at Columbia University on Software Reliability. (Nov 2008)
- Lecture at U.W. Seattle on Multiprocessor programmability. (May 2008)
Interns
I am always looking for interns with good systems and/or theoretical skills. Send me an email if you are interested. Here is a list of my past interns and their projects.
Publications
All my publications are available here.
- 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
- Madanlal Musuvathi and Shaz Qadeer, Fair stateless model checking, in PLDI 08: Programming Language Design and Implementation, Association for Computing Machinery, Inc., June 2008
- 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
- 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, 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
| Email: |
string.reverse.mnadam@microsoft.com |
| Phone: | (425) 706 5946 |
| Fax: | (425) 936 7329 (attn: madanm) |
What's New
- CHESS is available through MSDN/Devlabs! (This is big, folks)
- CHESS at Channel 9
- Mary Jo Foley talks about CHESS, FeatherLite, and Sober
- OSDI ’08 paper that describes the CHESS architecture is available
- CHESS at Microsoft PDC
Active Projects
- CHESS: Find and reproduce Heisenbugs
- FeatherLite: Lightweight data-race detection
- Sober: Memory model verification
- Traver: Compiler Transformation Verification
