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