research
∙
01/24/2023
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Probabilistic couplings are the foundation for many probabilistic relati...
share
research
∙
07/02/2021
Higher-order probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
research
∙
01/19/2019
Kantorovich Continuity of Probabilistic Programs
The Kantorovich metric is a canonical lifting of a distance from sets to...
research
∙
07/16/2018
Formal verification of higher-order probabilistic programs
Probabilistic programming provides a convenient lingua franca for writin...
research
∙
02/27/2018
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
We extend the simply-typed guarded λ-calculus with discrete probabilitie...
research
∙
02/17/2018