Madan Musuvathi

Madan Musuvathi
SENIOR RESEARCHER
.

I am a Senior 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.

Current Research Projects

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

Professional Activities

Theses

Selected/Recent Publications

(All my publications are available here.)

Teaching

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

Books

Talks/Lectures

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

Contacts 

 

Email:

madanm@microsoft.com (why mailto? reasons 1,2,3)

Phone: (425) 706 5946
Fax: (425) 936 7329 (attn: madanm)