Federico Olmedo

30 papers A* 3A 2B 3C 1Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Slicing of Probabilistic Programs: A Review of Existing Approaches.
ACM Comput. Surv.
Federico Olmedo
2025 B conf
FALAA: Framework for the Abstraction of Language Agent Architectures.
EMAS
Nicolas Brandstetter, Felipe Bravo-Marquez, Federico Olmedo
2024 J jnl
Differential privacy and SPARQL.
Semantic Web
Carlos Buil-Aranda, Jorge Lobo, Federico Olmedo
2024 J jnl
Gradual Differentially Private Programming.
Commun. ACM
Matías Toro, Federico Olmedo, Éric Tanter
2024 — conf
Static Slicing for Probabilistic Programs: An Overview.
Principles of Verification (1)
Federico Olmedo
2023 J jnl
A Gradual Probabilistic Lambda Calculus.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Federico Olmedo
2023 J jnl
Contextual Linear Types for Differential Privacy.
ACM Trans. Program. Lang. Syst.
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2022 A conf
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).
ECOOP
Marcelo Navarro, Federico Olmedo
2022 J jnl
Slicing of Probabilistic Programs based on Specifications.
CoRR
Marcelo Navarro, Federico Olmedo
2022 J jnl
Slicing of probabilistic programs based on specifications.
Sci. Comput. Program.
Marcelo Navarro, Federico Olmedo
2020 B conf
A mechanized formalization of GraphQL.
CPP
Tomás Díaz, Federico Olmedo, Éric Tanter
2020 J jnl
Contextual Linear Types for Differential Privacy.
CoRR
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
2019 J jnl
Runtime Analysis of Quantum Programs: A Formal Approach.
CoRR
Federico Olmedo, Alejandro Díaz-Caro
2018 J jnl
Conditioning in Probabilistic Programming.
ACM Trans. Program. Lang. Syst.
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
2018 J jnl
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.
J. ACM
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2016 A* conf
Reasoning about Recursive Probabilistic Programs.
LICS
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016 J jnl
Reasoning about Recursive Probabilistic Programs.
CoRR
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2016 A conf
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.
ESOP
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2016 J jnl
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.
CoRR
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
2015 J jnl
Conditioning in Probabilistic Programming.
CoRR
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
2015 B conf
Conditioning in Probabilistic Programming.
MFPS
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
2015 — conf
Understanding Probabilistic Programs.
Correct System Design
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
2014 — —
Approximate Relational Reasoning for Probabilistic Programs.
Federico Olmedo
2013 — conf
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs.
ICALP (2)
Gilles Barthe, Federico Olmedo
2013 J jnl
Probabilistic Relational Reasoning for Differential Privacy.
ACM Trans. Program. Lang. Syst.
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin
2013 J jnl
Verified indifferentiable hashing into elliptic curves.
J. Comput. Secur.
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella-Béguelin
2012 A* conf
Probabilistic relational reasoning for differential privacy.
POPL
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella-Béguelin
2012 — conf
Verified Indifferentiable Hashing into Elliptic Curves.
POST
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella-Béguelin
2011 C conf
Verifiable Security of Boneh-Franklin Identity-Based Encryption.
ProvSec
Gilles Barthe, Federico Olmedo, Santiago Zanella-Béguelin
2009 A* conf
Formally Certifying the Security of Digital Signature Schemes.
SP
Santiago Zanella-Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo