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