Registered user since Sun 10 Nov 2019
Name:Mukund Raghothaman
Affiliation:University of Pennsylvania, USA
Contributions
DPA 2019 | Precise Program Reasoning using Probabilistic Methods | ||||||||||||||||||||||||||||||||||||||||
PLDI 2019 | Continuously Reasoning about Programs using Differential Bayesian Inference | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2019-profile
View general profile
View general profile