conf.researchr.org / Mukund Raghotaman
Mukund Raghotaman

Registered user since Sat 24 Oct 2015

Name: Mukund Raghotaman

Affiliation: University of Southern California

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

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
PLDI 2018Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track
PLDI 2017Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track
PLDI 2016Committee Member in External Review Committee
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track