Madanlal Musuvathi

Timeline

1. By 2004

   IIT Madras and Stanford

   He earns a B.Tech in computer science at IIT Madras, then an M.S. and a Ph.D. at Stanford, where he works with David L. Dill and Dawson Engler and completes the doctorate in 2004. In 2002, he presents CMC at OSDI, a model checker that checks C and C++ implementations directly.

2. 2004

   Joining Microsoft Research

   He joins Microsoft Research in 2004. His paper with Junfeng Yang, Paul Twohey and Dawson Engler, "Using Model Checking to Find Serious File System Errors," wins a Best Paper award at OSDI 2004.

3. 2008–2010

   The CHESS concurrency tester

   In 2008, he presents CHESS at OSDI with Microsoft Research colleagues Shaz Qadeer and Thomas Ball; the tool takes control of thread scheduling to find and reproduce Heisenbugs in concurrent programs, and Microsoft testers use it daily. In March 2010, he coauthors an ASPLOS paper with Sebastian Burckhardt and Pravesh Kothari on a randomized scheduler that finds buggy thread schedules more effectively than stress testing.

4. 2019

   RiSE and a SOSP best paper

   In 2019, he manages the Research in Software Engineering (RiSE) group at Microsoft Research. His paper with Guangpu Li, Shan Lu, Suman Nath and Rohan Padhye, "Efficient and Scalable Thread-Safety Violation Detection," catches thousands of concurrency bugs and wins a SOSP 2019 Best Paper Award.

5. 2020–2025

   SCCL and MSCCL++ for AI

   In August 2020, he coauthors SCCL, a system that synthesizes collective communication algorithms tailored to a hardware topology, the communication step that bottlenecks data-parallel deep-learning training; the paper wins the PPoPP 2021 Best Paper Award. In April 2025, he coauthors MSCCL++, a design method for portable GPU communication kernels that runs in production in multiple Microsoft Azure AI services and is adopted by AMD's RCCL library.

6. 2023

   A CAV Award

   He shares the 2023 CAV Award with Akash Lal, Shaz Qadeer, Jakob Rehof and Thomas Reps for introducing context-bounded analysis and applying it to the systematic testing of concurrent programs.

7. January 2026

   Named an ACM Fellow

   In January 2026, ACM names him a Fellow for the development of methods in concurrency verification and testing, and machine learning systems design.

8. As of October 2026

   Partner research manager at Microsoft

   He works as a Partner Research Manager at Microsoft Research. In 2026, he serves as program co-chair of the Principles and Practice of Parallel Programming (PPoPP) conference.