Andy Gordon | Empowering Spreadsheet Users with Probabilistic Programming (slides) |
Catuscia Palamidessi | Foundations of Privacy and Quantitative information Flow (slides) |
Christel Baier | On classical and non-classical stochastic path problems (slides) |
Frank Wood | Inference Compilation and Universal Probabilistic Programming (slides) |
Hongseok Yang | Semantics of Higher-Order Probabilistic Programs with Continuous Distributions (slides) |
Javier Esparza | Verification of probabilistic infinite-state systems (slides) |
Peter Selinger | Quantum Programming (slides) |
Prakash Panangaden | Equational reasoning about probabilistic programs (slides) |
Sriram Sankaranarayanan | Concentration of Measure Inequalities and Quantitative Analysis of Probabilistic Programs (slides) |
Vitaly Shmatikov | Machine Learning Meets Privacy (slides) |
Dexter Kozen | Foundations of probabilistic programming: operational and denotational semantics, conservation laws, and duality (slides) |
Frank Wood also provided the following information:
the Anglican homepage; you can use and learn it directly (and quickly) here (click the "getting started guide").