Refereed conference and workshop papers

More support for symbolic disintegration
Praveen Narayanan and Chung-chieh Shan.
Probabilistic programming languages, semantics, and systems at POPL 2018.
Slides, presented at PPS 2018 in Los Angeles, Jan 9 2018.
Symbolic conditioning of arrays in probabilistic programs
Praveen Narayanan and Chung-chieh Shan.
Proceedings of the ACM on Programming Languages (PACMPL) 1, ICFP:11, 2017.
Video and slides, presented at Oxford University, UK, Sep 4 2017.
Probabilistic inference by program transformation in Hakaru (system description)
Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, and Robert Zinkov.
13th international symposium on functional and logic programming (FLOPS), 2016.
Slides, presented at Kochi University of Technology, Japan, Mar 4 2016.
Building blocks for exact and approximate inference
Jacques Carette, Praveen Narayanan, Wren Romano, Chung-chieh Shan, and Robert Zinkov.
Black box learning and inference workshop at NIPS 2015.
Poster, presented at the workshop in Montréal, Dec 12 2015.
A combinator library for MCMC sampling
Praveen Narayanan and Chung-chieh Shan.
3rd NIPS Workshop on Probabilistic Programming at NIPS 2014.
Poster, presented at the workshop in Montréal, Dec 13 2014.
Graph algorithms in a guaranteed-deterministic language
Praveen Narayanan and Ryan R. Newton.
5th Workshop on Determinism and Correctness in Parallel Programming, at ASPLOS 2014.
Slides, from a talk given at the workshop in Salt Lake City, Mar 2 2014.

Other talks

Verifying and reusing disintegration (upcoming)
May 2018, Shonan meeting on meta-programming for statistical machine learning
Bayesian inference made verifiable and reusable
Feb 2018, Galois Inc.
Disintegrating probabilistic programs with arrays
Aug 2016, IFIP Working Group on Program Generation
Emphasizing modularity in machine learning programs
Feb 2016, Intelligent & interactive systems talk series, Indiana University
Decoupling models from (MCMC) inference
Apr 2015, Radivojac research group seminar, Indiana University
A combinator library for MCMC kernels and proposals
Nov 2014, PL-Wonks, Indiana University
May 2014, Probabilistic programming seminar, Indiana University

Teaching

Discrete structures for computer science - spring 2013
Introduction to programming I - fall 2012

Education

BA in Mathematics and Physics 2012, Cornell University.
Under Prof. Anil Nerode I studied modal logic, and in the Davis Lab I studied 4He solid dynamics.