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

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