BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Olmedo:Federico

Contributed to:

ICALP (2) 20132013
POPL 20122012
ESOP 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.