conf.researchr.org / Federico Olmedo
Federico Olmedo

Registered user since Tue 28 Jan 2020

Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile
Personal website:https://users.dcc.uchile.cl/~folmedo/
Research interests:Program verification, probabilistic programming, language-based security

Contributions

SPLASH 2023 Author of A Gradual Probabilistic Lambda Calculus within the OOPSLA-track
ECOOP 2022 Author of Slicing of Probabilistic Programs based on Specifications within the Research Papers-track
CPP 2020 Author of A Mechanized Formalization of GraphQL within the CPP 2020-track
PLanQC 2020 Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track