ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Federico Olmedo

Registered user since Tue 28 Jan 2020

Name:Federico Olmedo
Affiliation:University of Chile & IMFD Chile
Research interests:Program verification, probabilistic programming, language-based security


ECOOP 2022 Slicing of Probabilistic Programs based on Specifications
Show activities from other conferences

ECOOP 2022-profile
View general profile