Thomas Espitau

Identifiers

No identifiers captured yet.

Papers (6)

1. Certified lattice reduction cs.DS · 2019 · author #1
2. An Assertion-Based Program Logic for Probabilistic Programs cs.LO · 2018 · author #2
3. Proving Expected Sensitivity of Probabilistic Programs cs.PL · 2017 · author #2
4. Proving uniformity and independence by self-composition and coupling cs.PL · 2017 · author #2
5. Synthesizing Probabilistic Invariants via Doob's Decomposition cs.PL · 2016 · author #2
6. Relational reasoning via probabilistic coupling cs.LO · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Gilles Barthe 5 shared papers
• Justin Hsu 5 shared papers
• Benjamin Gr\'egoire 4 shared papers
• Pierre-Yves Strub 4 shared papers
• Antoine Joux 1 shared papers
• L\'eo Stefanesco 1 shared papers
• Luis Mar\'ia Ferrer Fioriti 1 shared papers
• Marco Gaboardi 1 shared papers