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