ProfessorsProfessors of Universidad de ChileFederico Olmedo

Federico Olmedo

Universidad de Chile

H-index: 13

Latin America-Chile

About Federico Olmedo

Federico Olmedo, With an exceptional h-index of 13 and a recent h-index of 9 (since 2020), a distinguished researcher at Universidad de Chile, specializes in the field of Program Verification, Probabilistic Programs, Program Semantics.

His recent articles reflect a diverse array of research interests and contributions to the field:

Contextual linear types for differential privacy

A Gradual Probabilistic Lambda Calculus

Programming Languages and Systems

Slicing of probabilistic programs based on specifications

LETEO: Scalable anonymization of big data and its application to learning analytics

Differential privacy and SPARQL

A mechanized formalization of GraphQL

Federico Olmedo Information

University	Universidad de Chile
Position	___
Citations(all)	901
Citations(since 2020)	533
Cited By	646
hIndex(all)	13
hIndex(since 2020)	9
i10Index(all)	13
i10Index(since 2020)	9
Email	Access Email
University Profile Page	Universidad de Chile
Google Scholar	View Google Scholar Profile

Federico Olmedo Skills & Research Interests

Program Verification

Probabilistic Programs

Program Semantics

Top articles of Federico Olmedo

Title	Journal	Author(s)	Publication Date
Contextual linear types for differential privacy	ACM Transactions on Programming Languages and Systems	Matías Toro David Darais Chike Abuah Joseph P Near Damián Árquez ...	2023/5/17
A Gradual Probabilistic Lambda Calculus	Proceedings of the ACM on Programming Languages	Wenjia Ye Matías Toro Federico Olmedo	2023/4/6
Programming Languages and Systems	ACM Transactions on	M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee ...	2023
Slicing of probabilistic programs based on specifications	Science of Computer Programming	Marcelo Navarro Federico Olmedo	2022/8/1
LETEO: Scalable anonymization of big data and its application to learning analytics		Eduardo Giménez Lorena Etcheverry Federico Olmedo Carlos Buil Aranda Matías Toro ...	2021
Differential privacy and SPARQL	Semantic Web	Carlos Buil-Aranda Jorge Lobo Federico Olmedo	2021
A mechanized formalization of GraphQL		Tomás Díaz Federico Olmedo Éric Tanter	2020/1/20