| 2025 | EMAS | FALAA: Framework for the Abstraction of Language Agent Architectures. | Nicolas Brandstetter, Felipe Bravo-Marquez, Federico Olmedo |
| 2022 | ECOOP | Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). | Marcelo Navarro, Federico Olmedo |
| 2020 | CPP | A mechanized formalization of GraphQL. | Toms Daz, Federico Olmedo, ric Tanter |
| 2016 | ESOP | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
| 2016 | LICS | Reasoning about Recursive Probabilistic Programs. | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2013 | ICALP | Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs. | Gilles Barthe, Federico Olmedo |
| 2012 | POPL | Probabilistic relational reasoning for differential privacy. | Gilles Barthe, Boris Kpf, Federico Olmedo, Santiago Zanella-Bguelin |
| 2011 | ProvSec | Verifiable Security of Boneh-Franklin Identity-Based Encryption. | Gilles Barthe, Federico Olmedo, Santiago Zanella-Bguelin |
| 2009 | SP | Formally Certifying the Security of Digital Signature Schemes. | Santiago Zanella-Bguelin, Gilles Barthe, Benjamin Grgoire, Federico Olmedo |