Federico Olmedo

According to our database, Federico Olmedo authored at least 18 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter

ACM Trans. Program. Lang. Syst., June, 2023

A Gradual Probabilistic Lambda Calculus.

Wenjia Ye, Matías Toro, Federico Olmedo

Proc. ACM Program. Lang., April, 2023

2022

Slicing of probabilistic programs based on specifications.

Marcelo Navarro, Federico Olmedo

Sci. Comput. Program., 2022

Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).

Marcelo Navarro, Federico Olmedo

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter

CoRR, 2020

A mechanized formalization of GraphQL.

Tomás Díaz, Federico Olmedo, Éric Tanter

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Runtime Analysis of Quantum Programs: A Formal Approach.

Federico Olmedo, Alejandro Díaz-Caro

CoRR, 2019

2018

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo

J. ACM, 2018

2016

Reasoning about Recursive Probabilistic Programs.

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo

Proceedings of the Programming Languages and Systems, 2016

2015

Conditioning in Probabilistic Programming.

Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Understanding Probabilistic Programs.

Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo

Proceedings of the Correct System Design, 2015

2014

Approximate Relational Reasoning for Probabilistic Programs.

Federico Olmedo

PhD thesis, 2014

2013

Probabilistic Relational Reasoning for Differential Privacy.

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin

ACM Trans. Program. Lang. Syst., 2013

Verified indifferentiable hashing into elliptic curves.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin

J. Comput. Secur., 2013

Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs.

Gilles Barthe, Federico Olmedo

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2011

Verifiable Security of Boneh-Franklin Identity-Based Encryption.

Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin

Proceedings of the Provable Security - 5th International Conference, 2011

2009

Formally Certifying the Security of Digital Signature Schemes.

Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009