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

PADL 2023	Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
ICSE 2022	Author of Learning Probabilistic Models for Static Analysis Alarms within the Technical Track-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
ESEC/FSE 2021	Author of Boosting Static Analysis Accuracy with Instrumented Test Executions within the Research Papers-track
PLDI 2021	Author of Example-Guided Synthesis of Relational Queries within the PLDI-track
ICSE 2021	Author of Data-Driven Synthesis of a Provably Sound Side Channel Analysis within the Technical Track-track
SPLASH 2020	Committee Member in External Review Committee within the OOPSLA-track
POPL 2020	Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
DPA 2019	Author of Precise Program Reasoning using Probabilistic Methods within the DPA-track
PLDI 2019	Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track