Publications of Federico Olmedo by year (see by type) [pdf]

Year 2018

  1. Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. ACM Transactions on Programming Languages and Systems (TOPLAS) 40(1):4:1-4:50, Jan 2018. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  2. Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. Journal of the ACM (JACM) 65(5):30:1-30:68, Aug 2018. ACM Press, New York, NY, USA. ISSN 0004-5411. [download] [bibtex] [abstract]

Year 2020

  1. Tomás Diaz, Federico Olmedo, Éric Tanter. A Mechanized Formalization of GraphQL. In Proc. 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), pp. 201-214, 2020. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

Year 2022

  1. Marcelo Navarro, Federico Olmedo. Slicing of Probabilistic Programs based on Specifications. Science of Computer Programming (SCICO) 220:102822, 2022. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

Year 2023

  1. Matías Toro, David Darais, Chike Abuah, Joseph Near, Damián Árquez, Federico Olmedo, Éric Tanter. Contextual Linear Types for Differential Privacy. ACM Transactions on Programming Languages and Systems (TOPLAS) 45(2):8:1-8:69, 2023. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  2. Matías Toro, Federico Olmedo. A Gradual Probabilistic Lambda Calculus. Proceedings of the ACM Programming Languages (PACMPL) 7(84):256-285, Apr 2023. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

Year 2024

  1. Carlos Buil-Aranda, Jorge Lobo, Federico Olmedo. Differential Privacy and SPARQL. Semantic Web (SWJ) 15(3):745-773, 2024. IOS Press, Amsterdam, The Netherlands. ISSN 1570-0844. [bibtex] [abstract]

  2. Matías Toro, Éric Tanter, Federico Olmedo. Gradual Differentially Private Programming. Communications of the ACM (CACM) 67(8):49-53, Aug 2024. ACM Press, New York, NY, USA. ISSN 0001-0782. [download] [bibtex]