Mukund Raghotaman

Registered user since Sat 24 Oct 2015

Name: Mukund Raghotaman

Affiliation: University of Pennsylvania

Personal website: https://www.cis.upenn.edu/~rmukund/

Contributions

PLDI 2018 User-Guided Program Reasoning using Bayesian Inference
Show activities from other conferences

PLDI 2018-profile
View general profile