Madan Musuvathi

Registered user since Fri 30 May 2014

Name:Madan Musuvathi
Affiliation:Microsoft Research
Research interests:Concurrency, Parallelism, Programming languages, Systems, Machine Learning, Databases

Contributions

PLDI 2022 Diversity and Inclusion Co-Chair in Organizing Committee
CGO 2022 Committee Member in Program Committee within the Main Conference-track
PLDI 2021 Speaker of Ask Me Anything with Madan Musuvathi within the Ask Me Anything-track
Committee Member in Student Research Competition (SRC) within the SRC-track
Committee Member in Program Committee within the PLDI-track
PPoPP 2021 Author of Synthesizing Optimal Collective Algorithms within the Main Conference-track
Committee Member in Program Committee
Author of Chat with Researchers from Microsoft within the Main Conference-track
PLMW@PLDI 2020 Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
Author of EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation within the PLDI Research Papers-track
PPoPP 2019 ERC member in Extended Review Committee
PLDI 2019 Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track
Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track
ICSE 2020 Author of BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark within the Demonstrations-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
Committee Member in Distinguished Paper Committee within the OOPSLA-track
PPoPP 2018 Committee Member in Extended Review Committee
SPLASH 2017 Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track
PLDI 2017 Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track
Committee Member in Program Committee
* ICSE 2018 * Author of Cross-Language Optimizations in Big Data Systems: A Case Study of SCOPE within the SEIP - Software Engineering in Practice-track
POPL 2016 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
PPoPP 2016 Author of Keynote I: Madan Musuvathi, Microsoft within the Keynote Lecture-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
Session Chair of Distributed Computing (part of OOPSLA)
SPLASH 2013 Author of Bounded Partial-Order Reduction within the OOPSLA-track