create a backlog of papers and meetups
suhailshergill opened this issue · 1 comments
there are some initial thoughts on https://gitter.im/suhailshergill/ProPL-meetup?at=57cf6fac98f8df994d41fdce. inlined below is a summary from gitter:
from the list of papers in http://conf.researchr.org/track/POPL-2016/pps-2016#program the following had caught my eye:
- interface for black-box learning: http://pps2016.soic.indiana.edu/2015/12/21/an-interface-for-black-box-learning-in-probabilistic-programs/
- semantics of figaro: http://pps2016.soic.indiana.edu/2015/12/10/the-semantics-of-figaro-an-embedded-probabilistic-programming-language-2/
- models for probabilistic programs with an adversary: http://pps2016.soic.indiana.edu/2015/12/16/adversaries/
- semantics for higher order probabilistic programs: http://pps2016.soic.indiana.edu/2015/12/11/semantics-of-higher-order-probabilistic-programs/
- types and modules for probabilistic programming: http://pps2016.soic.indiana.edu/2015/12/11/insomnia-types-and-modules-for-probabilistic-programming/
- reasoning about probability and nondeterminism: http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/
- RKHS semantics for probabilistic programs: http://pps2016.soic.indiana.edu/2015/12/16/reproducing-kernel-hilbert-space-semantics-for-probabilistic-programs/ (there's somewhat of a connection with the gaussian process work in ProPL#10)
- exchangeable random primitives: http://pps2016.soic.indiana.edu/2015/12/16/xrps/
the computable distributions paper (http://pps2016.soic.indiana.edu/2015/12/13/an-application-of-computable-distributions-to-the-semantics-of-probabilistic-programs/) and conditioning paper (http://pps2016.soic.indiana.edu/2015/12/11/on-the-semantic-intricacies-of-conditioning/) also look interesting, but we may have already covered some of the aspects of the latter when we've been looking at provably correct samplers.
relating to #16 there is https://arxiv.org/abs/1511.01644 and https://github.com/tmadl/sklearn-expertsys
discussion on https://gitter.im/suhailshergill/ProPL-meetup?at=57dbebcaaabc89857fa982c5
some more work here: https://users.cs.duke.edu/~cynthia/papers.html
specifically, https://arxiv.org/pdf/1511.01644v1.pdf which looks like an updated version