• Sign in
  • Sign up
conf.researchr.org / Federico Olmedo
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • POPL 2020 profile
  • SPLASH 2023 profile
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

2025

ECOOP

  • Committee Member in Programme Committee within the Technical Papers-track

2023

SPLASH

  • Author of A Gradual Probabilistic Lambda Calculus within the OOPSLA-track

2022

ECOOP

  • Author of Slicing of Probabilistic Programs based on Specifications within the Research Papers-track

2020

CPP

  • Author of A Mechanized Formalization of GraphQL within the CPP 2020-track

PLanQC

  • Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track
Share
xSat 10 May 16:50
using conf.researchr.org (v1.69.0)
Support page
Sign Up