We gratefully acknowledge support from
the Simons Foundation and member institutions.

Justin Hsu and Léo Stefanesco are qualified to endorse.

Relational reasoning via probabilistic coupling

Gilles Barthe: Is registered as an author of this paper.
Not currently an endorser. (why?)
Justin Hsu: Is registered as an author of this paper.
Can endorse for cs.CR, cs.DB, cs.DS, cs.FL, cs.LG, cs.LO, cs.PL. (why?)
Léo Stefanesco: Is registered as an author of this paper.
Can endorse for cs.LO, cs.PL. (why?)

Thomas Espitau, Benjamin Grégoire and Pierre-Yves Strub are not registered as owners of this paper. (why?)