Travelled to:1 × Latvia
1 × USA
Collaborated with:G.Barthe B.Köpf S.Z.Béguelin B.L.Kaminski J.Katoen C.Matheja
Talks about:probabilist (3) differenti (2) program (2) privaci (2) reason (2) relat (2) precondit (1) composit (1) weakest (1) theorem (1)
Person: Federico Olmedo
DBLP: Olmedo:Federico
Contributed to:
2013
2012
2016Wrote 3 papers:
- ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
- POPL-2012-BartheKOB #difference #privacy #probability #reasoning #relational
- Probabilistic relational reasoning for differential privacy (GB, BK, FO, SZB), pp. 97–110.
- ESOP-2016-KaminskiKMO #probability #reasoning #source code
- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (BLK, JPK, CM, FO), pp. 364–389.