Thomas Espitau

Identifiers

• name variant Thomas Espitau 0.60 · backfill

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

• 1509.03476 #2 · backfill · confidence 0.70 Thomas Espitau
• 1905.11743 #1 · arxiv_oai · confidence 0.70 Thomas Espitau

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