• Sign in
  • Sign up
conf.researchr.org / Praveen Narayanan
  • ICFP 2017 profile
  • ICFP 2019 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2018 profile
  • POPL 2019 profile
Praveen Narayanan

Registered user since Wed 16 Aug 2017

Name:Praveen Narayanan
Affiliation:Indiana University, USA
Personal website: http://homes.soic.indiana.edu/pravnar/

Contributions

2019

ICFP

  • Author of From high-level inference algorithms to efficient code within the Research Papers-track

LAFI

  • Committee Member in Program Committee within the LAFI (nĂ© PPS)-track

2018

LAFI

  • Author of More support for symbolic disintegration within the PPS 2018-track

2017

ICFP

  • Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track

ECOOP

  • Author of Verifiable, reusable, yet useful conditioning within the ECOOP Doctoral Symposium-track
Share
xSun 11 May 23:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up