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

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…

Publications

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Projects

Recent Advances in Parallel Algorithms 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