Mukund Raghothaman -

Registered user since Sat 24 Oct 2015

Name:Mukund Raghothaman

Affiliation:University of Southern California

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

Contributions

POPL 2023	Artifact Evaluation Co-Chair in Organizing Committee Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
ASA 2022	Author of Precise Program Reasoning using Probabilistic Methods within the ASA 2022-track
POPL 2022	Artifact Evaluation Co-Chair in Organizing Committee
MAPS 2021	Invited Speaker of Interactively Exploring Code Using Query-by-Example within the MAPS 2021-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track
PLDI 2018	Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track
PLDI 2017	Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track
PLDI 2016	Committee Member in External Review Committee
POPL 2016	Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track