• Sign in
  • Sign up
conf.researchr.org / Mukund Raghothaman
  • ESEC/FSE 2021 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile

Registered user since Sun 10 Nov 2019

Name:Mukund Raghothaman
Country:United States
Affiliation:University of Southern California
Personal website:https://r-mukund.github.io

Contributions

PADL 2023 Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
ICSE 2022 Author of Learning Probabilistic Models for Static Analysis Alarms within the Technical Track-track
POPL 2022 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2021 Author of Example-Guided Synthesis of Relational Queries within the SIGPLAN Papers-track
ESEC/FSE 2021 Author of Boosting Static Analysis Accuracy with Instrumented Test Executions within the Research Papers-track
PLDI 2021 Author of Example-Guided Synthesis of Relational Queries within the PLDI-track
ICSE 2021 Author of Data-Driven Synthesis of a Provably Sound Side Channel Analysis within the Technical Track-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
POPL 2020 Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
DPA 2019 Author of Precise Program Reasoning using Probabilistic Methods within the DPA-track
PLDI 2019 Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track

Share
xWed 7 Jun 04:25
using conf.researchr.org (v1.60.0)
Support page
Sign Up