• Sign in
  • Sign up
conf.researchr.org / Mukund Raghotaman
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
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

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
PLDI 2018Author of User-Guided Program Reasoning using Bayesian Inference within the PLDI Research Papers-track
PLDI 2017Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track
PLDI 2016Committee Member in External Review Committee
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track

Share
xMon 16 Dec 11:29
using conf.researchr.org (v1.21.5)
Support page
Sign Up