Mukund Raghotaman

Registered user since Sat 24 Oct 2015

Name:Mukund Raghotaman
Affiliation:University of Pennsylvania

Contributions

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

PLDI 2018-profile
View general profile