
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
ICSE 2020 | BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile