Mukund Raghothaman

Registered user since Sat 24 Oct 2015

Name:Mukund Raghothaman
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