conf.researchr.org / Mukund Raghothaman

Registered user since Sun 10 Nov 2019

Name:Mukund Raghothaman
Country:United States
Affiliation:University of Southern California
Personal website:https://r-mukund.github.io

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
POPL 2022 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2021 Author of Example-Guided Synthesis of Relational Queries within the SIGPLAN Papers-track
PLDI 2021 Author of Example-Guided Synthesis of Relational Queries within the PLDI-track
ESEC/FSE 2021 Author of Boosting Static Analysis Accuracy with Instrumented Test Executions within the Research Papers-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
DPA 2019 Author of Precise Program Reasoning using Probabilistic Methods within the DPA-track
POPL 2020 Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
ICSE 2021 Author of Data-Driven Synthesis of a Provably Sound Side Channel Analysis within the Technical Track-track
PLDI 2019 Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track