conf.researchr.org / Praveen Kumar
Praveen Kumar

Registered user since Fri 28 Oct 2016

Name:Praveen Kumar
Country:United States
Affiliation:Cornell University
Personal website:http://www.cs.cornell.edu/~praveenk
Research interests:Networks

Contributions

PLDI 2019 Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
PPS 2018 Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
POPL 2017 Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track