Portrait of Madan Musuvathi

Madan Musuvathi

Principal Researcher

About

I am a Principal Researcher in the Research in Software Engineering group at Microsoft Research.  My research focus is on scalable analysis of concurrent systems. More broadly, my interests include systems, 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.
My current research projects include

Efficient Parallel Algorithms
End to End Sequential Consistency
Concurrency Fuzzing
Memory Models
CHESS

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).

Projects

Virtual Algorithms Center (VIRAL)

Established: December 27, 2013

MSR has a strong group of scientists working on algorithm design, analysis, and experimental evaluation, as well as researchers in related areas (e.g., coding theory), but no formal algorithms group. The Virtual Algorithms Center (VIRAL) brings these individuals together. The goals of the center is to enhance collaboration between algorithms researchers and the rest of MSR, provide internal consulting, and give an external view of the algorithms research at MSR.  

CHESS: Find and Reproduce Heisenbugs in Concurrent Programs

Established: October 1, 2008

CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving. If an interleaving results in an error, CHESS can reproduce the interleaving for improved debugging. CHESS is available for both managed and native programs.

Publications

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Projects

Link description

Recent Advances in Parallel Algorithms

Date

July 24, 2014

Speakers

Grey Ballard, Andrew Lenharth, and Madan Musuvathi

Affiliation

Sandia National Laboratories, University of Texas at Austin, Microsoft Research

Other

Professional Activities

Theses

Teaching

  • CSE P 506: Concurrency and Parallel Programming (Spring 2011) at University of Washington, Seattle

Books

Talks/Lectures