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

DPA 2019Author of Precise Program Reasoning using Probabilistic Methods within the DPA-track
POPL 2020Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
PLDI 2019Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track