PPoPP 2016
Sat 12 - Wed 16 March 2016 Barcelona, Spain
Madan Musuvathi

Registered user since Fri 30 May 2014

Name: Madan Musuvathi

Bio: 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.

Contributions

PPoPP 2016Author of Keynote I: Madan Musuvathi, Microsoft within the Keynote Lecture-track
Show activities from other conferences

PPoPP 2016-profile
View general profile