Popl 2021 Probabilistic Programming Semantics

Media Summary: Michael Wolman (McGill University) Sam Staton (University of Oxford) Marcin Sabok (McGill University) Dario Stein (University of ... Jules Jacobs (Radboud University Nijmegen) Paper: Abstract Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ...

Popl 2021 Probabilistic Programming Semantics - Detailed Analysis & Overview

Michael Wolman (McGill University) Sam Staton (University of Oxford) Marcin Sabok (McGill University) Dario Stein (University of ... Jules Jacobs (Radboud University Nijmegen) Paper: Abstract Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Simon Oddershede Gregersen (Aarhus University) Johan Bay (Aarhus University) Simon Gregersen (Aarhus University) Lars ... Eli Sennesh is a recent graduate of the PhD A Separation Logic for Negative Dependence Jialu Bao, Marco Gaboardi, Justin Hsu, and Joseph Tassarotti (Cornell University, ...

Kevin Batz (RWTH Aachen University) Benjamin Lucien Kaminski (RWTH Aachen University, Germany) Joost-Pieter Katoen ...

Photo Gallery

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

[POPL 2021] Paradoxes of probabilistic programming (full)

A Domain Theory for Statistical Probabilistic Programming

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'22] Semantics for Variational Quantum Programming

[POPL 2021] Mechanized Logical Relations for Termination-Insensitive Noninterference (full)

Open Problems in Probabilistic Programming Semantics with Eli Sennesh

[POPL'23] Smoothness Analysis for Probabilistic Programs with Application to Optimised Var...

[POPL'22] A Separation Logic for Negative Dependence

[POPL 2021] Relatively Complete Verification of Probabilistic Programs (full)

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

View Detailed Profile

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

Michael Wolman (McGill University) Sam Staton (University of Oxford) Marcin Sabok (McGill University) Dario Stein (University of ...

[POPL 2021] Paradoxes of probabilistic programming (full)

[POPL 2021] Paradoxes of probabilistic programming (full)

Jules Jacobs (Radboud University Nijmegen) Paper: https://dl.acm.org/doi/pdf/10.1145/3434339 Abstract

A Domain Theory for Statistical Probabilistic Programming

A Domain Theory for Statistical Probabilistic Programming

Paper and supplementary material: ...

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] A Separation Logic for Effect Handlers (full)

Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434314 User-defined ...

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

Big-Stop

[POPL'22] Semantics for Variational Quantum Programming

[POPL'22] Semantics for Variational Quantum Programming

Semantics

[POPL 2021] Mechanized Logical Relations for Termination-Insensitive Noninterference (full)

[POPL 2021] Mechanized Logical Relations for Termination-Insensitive Noninterference (full)

Simon Oddershede Gregersen (Aarhus University) Johan Bay (Aarhus University) Simon Gregersen (Aarhus University) Lars ...

Open Problems in Probabilistic Programming Semantics with Eli Sennesh

Open Problems in Probabilistic Programming Semantics with Eli Sennesh

Eli Sennesh is a recent graduate of the PhD

[POPL'23] Smoothness Analysis for Probabilistic Programs with Application to Optimised Var...

[POPL'23] Smoothness Analysis for Probabilistic Programs with Application to Optimised Var...

[

[POPL'22] A Separation Logic for Negative Dependence

[POPL'22] A Separation Logic for Negative Dependence

A Separation Logic for Negative Dependence Jialu Bao, Marco Gaboardi, Justin Hsu, and Joseph Tassarotti (Cornell University, ...

[POPL 2021] Relatively Complete Verification of Probabilistic Programs (full)

[POPL 2021] Relatively Complete Verification of Probabilistic Programs (full)

Kevin Batz (RWTH Aachen University) Benjamin Lucien Kaminski (RWTH Aachen University, Germany) Joost-Pieter Katoen ...

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling

Paper and supplementary material: ...

[POPL'24] Probabilistic programming interfaces for random graphs: Markov categories, graph...

[POPL'24] Probabilistic programming interfaces for random graphs: Markov categories, graph...

Probabilistic Programming