SPLASH 2013 (series) / Madan Musuvathi

Registered user since Fri 30 May 2014
Name:Madan Musuvathi
Affiliation:Microsoft Research
Personal website:http://research.microsoft.com/en-us/people/madanm/
Research interests:Concurrency, Parallelism, Programming languages, Systems, Machine Learning, Databases
Contributions
SPLASH 2013 | Bounded Partial-Order Reduction | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2013-profile
View general profile
View general profile