Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Fri 22 Jan 2021 16:05 - 16:15 at POPL-A - Probabilistic Programming

We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret the ν-calculus, a calculus for name generation. Moreover, we prove that this semantics is fully abstract up to first-order types. This is surprising for an ‘off-the-shelf’ model, and requires a novel analysis of probability distributions on function spaces. Our tools are diverse and include descriptive set theory and normal forms for the ν-calculus.

Fri 22 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:45 - 16:45: Probabilistic ProgrammingPOPL at POPL-A
15:45 - 15:55
Talk
λS: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes
POPL
Benjamin ShermanMassachusetts Institute of Technology, USA, Jesse MichelMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
Link to publication DOI
15:55 - 16:05
Talk
Deciding Accuracy of Differential Privacy Schemes
POPL
Gilles BartheMPI-SP, Germany / IMDEA Software Institute, Spain, Rohit ChadhaUniversity of Missouri, Paul KrogmeierUniversity of Illinois at Urbana-Champaign, A. Prasad SistlaUniversity of Illinois at Chicago, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Link to publication DOI
16:05 - 16:15
Talk
Probabilistic Programming Semantics for Name Generation
POPL
Marcin SabokMcGill University, Sam StatonUniversity of Oxford, Dario SteinUniversity of Oxford, Michael WolmanMcGill University
Link to publication DOI Pre-print
16:15 - 16:25
Talk
Simplifying Multiple-Statement Reductions with the Polyhedral Model
POPL
Cambridge YangMIT CSAIL, Eric AtkinsonMIT CSAIL, Michael CarbinMassachusetts Institute of Technology
Link to publication DOI
16:25 - 16:35
Talk
A Pre-Expectation Calculus for Probabilistic SensitivityDistinguished Paper
POPL
Alejandro AguirreIMDEA Software Institute and T.U. of Madrid (UPM), Gilles BartheMPI-SP, Germany / IMDEA Software Institute, Spain, Justin HsuUniversity of Wisconsin-Madison, USA, Benjamin Lucien KaminskiRWTH Aachen University, Germany, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaETH Zurich
Link to publication DOI
16:35 - 16:45
Talk
Paradoxes of probabilistic programming
POPL
Jules JacobsRadboud University Nijmegen
Link to publication DOI Pre-print