Madan Musuvathi

Professional Activities

• Chair: WODA 2012, MSPC 2011, SPIN 2011, SAVCBS 2010
• Steering Committee: WODA, MSPC
• Program Committee: EuroSys 2016, ASPLOS 2016, POPL 2016, PLOS 2015, ASPLOS 2015 (ERC), PPoPP 2015, OOPSLA 2014, PLDI 2014 (ERC), MSPC 2014, PPoPP 2014, SPIN 2013, (EC)2, PLDI 2013 (ERC), PPoPP 2013 (ERC),  OOPSLA 2012 (ERC), WoDet 2012, SPIN 2012, HotPar 2012, PPoPP 2012 (ERC), WODA 2011, PADTAD 2011, CAV 2011, NFM 2010, PADTAD 2010, CC 2010, SPIN 2009, PADTAD 2009, SPIN 2008
• Organizing Committee: FLoC 2006
• Ph.D. Thesis Committee: Dan Marino, Katie Coons, Ohad Shacham, Samira Tashoraffi, Saeed Maleki, Baris Kasicki

Theses

• Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection, Daniel Marino, co-advised by Todd Millstein (2012 ACM SIGPLAN Outstanding Doctoral Dissertation Award)
• Fast Error Detection with Coverage Guarantees for Concurrent Software, Katie Coons, co-advised by Kathryn McKinley

Teaching

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

Books

• Model Checking Software, 18th International SPIN Workshop, July 14-15, 2011

Talks/Lectures

• [ISMM ’13: Keynote] A Safety-First Approach to Memory Consistency Models
• [UPMARC Summer School ’13] Finding Race Conditions and Data Races
• [RV 2012 Invited Tutorial] Dynamic Data Race Detection
• [Dagstuhl Seminar: Memory Models] Multi-Core Memory Models and Concurrency Theory
• [TiC ’10] Concurrency Testing (Lectures 1,2)