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

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

PLDI

Workshops Co-Chair in Organizing Committee

SANER

Author of Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation within the Research Track-track
Author of Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing within the Workshops & Tutorials-track

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2026-track

2025

ESEC/FSE

Author of BinPool: A Dataset of Vulnerabilities for Binary Security Analysis within the Demonstrations-track

PLDI

Author of Membership Testing for Semantic Regular Expressions within the PLDI Research Papers-track

SOAP

POPL

Committee Member in Program Committee within the POPL-track

2024

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2024-track

SPLASH

Local Arrangements Chair in Organizing Committee

VL/HCC

Author of Generating Function Names to Improve Comprehension of Synthesized Programs within the Research Papers-track

PLDI

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

ICSE

Author of NomNom: Explanatory Function Names for Program Synthesizers within the Posters-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track

SPLASH

PLDI

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

POPL

2022

PLDI

Committee Member in PLDI within the PLDI-track

ASA

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

ICSE

Author of Learning Probabilistic Models for Static Analysis Alarms within the Technical Track-track

POPL

2021

SPLASH

Author of Example-Guided Synthesis of Relational Queries within the SIGPLAN Papers-track

ESEC/FSE

Author of Boosting Static Analysis Accuracy with Instrumented Test Executions within the Research Papers-track

PLDI

Author of Example-Guided Synthesis of Relational Queries within the PLDI-track

MAPS

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

ICSE

Author of Data-Driven Synthesis of a Provably Sound Side Channel Analysis within the Technical Track-track

2020

SPLASH

Committee Member in External Review Committee within the OOPSLA-track

PLDI

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

POPL

Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track

2019

DPA

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

PLDI

Author of Continuously Reasoning about Programs using Differential Bayesian Inference 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