Registered user since Thu 4 Aug 2016

Name: Sulekha Kulkarni

Affiliation: Georgia Tech

Contributions

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

PLDI 2018-profile
View general profile