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

2024

SPLASH

Local Arrangements Chair in Organizing Committee

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

SPLASH

Committee Member in Judges within the Student Research Competition-track

POPL

2022

ASA

Author of Precise Program Reasoning using Probabilistic Methods within the ASA 2022-track

POPL

Artifact Evaluation Co-Chair in Organizing Committee

2021

MAPS

Invited Speaker of Interactively Exploring Code Using Query-by-Example within the MAPS 2021-track

2020

PLDI

Committee Member in Program Committee within the PLDI Research Papers-track

2018

PLDI

Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track

2017

PLDI

Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track

2016

PLDI

Committee Member in External Review Committee

POPL

Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track