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