Name
Federico Olmedo
PhD in Computer Science folmedo@dcc.uchile.cl
Assistant Professor Beauchef 851, of. 311N
PLEIAD Lab Santiago, Chile
Computer Science Department (DCC) phone: +56 2 2978 4975
University of Chile fax: +56 2 2689 5531

Please refer to my personal webpage here.

2024

 

[bib, doi, pdf]
Gradual Differentially Private Programming
Matías Toro, Federico Olmedo, Éric Tanter
Communications of the ACM, volume 67, number 8, August 2024, ACM Press

2023

 

[bib, doi, pdf]
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro, Federico Olmedo
Proceedings of the ACM on Programming Languages, volume 7, number OOPSLA1, pp.256-285, October 2023, ACM Press
[bib, doi, pdf]
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah, Joe Near, Damián Árquez, Federico Olmedo, Éric Tanter
ACM Transactions on Programming Languages and Systems, volume 45, pp.8:1-8:69, 2023, ACM Press

2020

 

[bib, doi, pdf]
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 (CPP 2020), pp.201-214, New Orleans, Louisiana, USA, January 2020