Madan Musuvathi
Partner Research Manager
More Info
Professional Activities
- Chair: WODA 2012 (opens in new tab), MSPC 2011, SPIN 2011 (opens in new tab), SAVCBS 2010
- Steering Committee: WODA, MSPC
- Program Committee: EuroSys 2016 (opens in new tab), ASPLOS 2016 (opens in new tab), POPL 2016 (opens in new tab), PLOS 2015 (opens in new tab), ASPLOS 2015 (opens in new tab)(ERC), PPoPP 2015 (opens in new tab), OOPSLA 2014 (opens in new tab), PLDI 2014 (opens in new tab)(ERC), MSPC 2014 (opens in new tab), PPoPP 2014, SPIN 2013 (opens in new tab), (EC)2 (opens in new tab), PLDI 2013 (opens in new tab) (ERC), PPoPP 2013 (ERC), OOPSLA 2012 (opens in new tab) (ERC), WoDet 2012 (opens in new tab), SPIN 2012 (opens in new tab), HotPar 2012 (opens in new tab), PPoPP 2012 (ERC), WODA 2011, PADTAD 2011 (opens in new tab), CAV 2011, NFM 2010 (opens in new tab), PADTAD 2010, CC 2010 (opens in new tab), SPIN 2009, PADTAD 2009 (opens in new tab), SPIN 2008 (opens in new tab)
- Organizing Committee: FLoC 2006
- Ph.D. Thesis Committee: Dan Marino, Katie Coons, Ohad Shacham, Samira Tashoraffi (opens in new tab), Saeed Maleki (opens in new tab), Baris Kasicki (opens in new tab)
Theses
- Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection (opens in new tab), Daniel Marino, co-advised by Todd Millstein (opens in new tab) (2012 ACM SIGPLAN Outstanding Doctoral Dissertation Award (opens in new tab))
- Fast Error Detection with Coverage Guarantees for Concurrent Software, Katie Coons, co-advised by Kathryn McKinley (opens in new tab)
Teaching
- CSE P 506 (opens in new tab): Concurrency and Parallel Programming (Spring 2011) at University of Washington, Seattle
Books
- Model Checking Software (opens in new tab), 18th International SPIN Workshop, July 14-15, 2011
Talks/Lectures
- [ISMM ’13 (opens in new tab): Keynote] A Safety-First Approach to Memory Consistency Models (opens in new tab)
- [UPMARC Summer School ’13 (opens in new tab)] Finding Race Conditions and Data Races
- [RV 2012 (opens in new tab) Invited Tutorial] Dynamic Data Race Detection
- [Dagstuhl Seminar: Memory Models (opens in new tab)] Multi-Core Memory Models and Concurrency Theory (opens in new tab)
- [TiC ’10] Concurrency Testing (Lectures 1,2)