Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

About

I am a Partner Research Manager at Microsoft Research managing the Research in Software Engineering group. I truly believe in integrating methods and ideas from different research areas. My research interests span programming languages, formal methods, systems, high-performance computing, machine learning, and their various subfields including parallelism and concurrency, model checking, verification, program analysis, program synthesis, theorem proving, satisfiability modulo theories, compilers, and testing. Tools and methods from my research are used by software developers at Microsoft and elsewhere.

Honors and Awards

  • CAV Award 2023 for the introduction of context-bounded analysis and its applications to systematic testing of concurrent programs.
  • PPoPP Best Paper Award 2021: Synthesizing Optimal Collective Algorithms
  • SOSP Best Paper Award 2019: Efficient and Scalable Thread-Safety Violation Detection — Finding thousands of concurrency bugs during testing.
  • CACM Research Highlight 2015: Parallelizing dynamic programming through rank convergence
  • SIGPLAN Research Highlight 2015: Parallelizing dynamic programming through rank convergence
  • OSDI Best Paper Award 2004: Using Model Checking to Find Serious File System Errors

Professional Service

Program Chair PPoPP’26, ASPLOS ’24, WODA ’12, SAVCBS ‘10
Steering Committee ASPLOS ’25-current
Program Committees PPoPP ’26, CGO’26, ASPLOS ’24, PPoPP ’23, CGO ’22, PACT ’21, USENIX ATC ’21, OSDI ’21, PLDI ’21, PPoPP ’21, OSDI ’20, PLDI ’20, IPDPS ’19, Eurosys ’19, PPoPP ’19, ASPLOS ’19, OOPSLA ’18, PPoPP ’18, ASPLOS ’18, SOSP ’17, PACT ’17, PLDI ’17, SNAPL ’17, RV ’17, ASPLOS ’16, POPL ’16, PPoPP 15, OOPSLA ’14, HotPar ‘12
Other PLDI Diversity & Inclusion Chair ’22-23

Bio

Madan Musuvathi is a Partner Research Manager at Microsoft Research managing the RiSE group that focuses on research in programming languages, formal methods, systems, high-performance computing, and machine learning. His research has produced several software reliability and performance-engineering tools that are widely used within Microsoft and other companies. He received the CAV award in 2023 for his fundamental contributions to the field of computer-aided verification. He has won distinguished paper awards at several conferences including PPoPP ’21, SOSP ’19, and OSDI ‘04. One of his co-advisees won the 2012 ACM SIGPLAN Outstanding Doctoral Dissertation Award. He co-chaired the Program Committee of PPoPP ’26 and ASPLOS ’24. He received his Ph.D. from Stanford University.