• Sign in
  • Sign up
conf.researchr.org / Praveen Kumar
  • PLDI 2019 profile
  • POPL 2017 profile
  • POPL 2018 profile
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

2019

PLDI

  • Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track

2018

LAFI

  • Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track

2017

POPL

  • Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
Share
xSun 26 Oct 19:59
using conf.researchr.org (v1.72.1)
Support page
Sign Up