conf.researchr.org / Mukund Raghothaman

Registered user since Sun 10 Nov 2019

Name: Mukund Raghothaman

Affiliation: University of Southern California

Personal website: https://r-mukund.github.io

Contributions

PLDI 2021 Author of Example-Guided Synthesis of Relational Queries within the PLDI 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