Matías Toro -

Registered user since Thu 27 Aug 2015

Name:Matías Toro

Country:Chile

Affiliation:University of Chile

Contributions

2025

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2024

SPLASH

Author of Merging Gradual Typing within the OOPSLA 2024-track

Unsound

Author of Taming Unsoundness with Gradual Abstract Interpretation within the UNSOUND 2024-track

ML

Programme Committee in Program Committee within the ML-track

2023

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Author of A Gradual Probabilistic Lambda Calculus within the OOPSLA-track

HOPE

Committee Member in Program Committee within the HOPE 2023-track

2022

SPLASH

Author of Plausible sealing for gradual parametricity within the OOPSLA-track

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

2021

ML

Committee Member in Program Committee within the ML 2021-track

2020

ECOOP

Author of Abstracting gradual references within the Research Papers-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

POPL

2018

POPL

Presenter of Type-Driven Gradual Security with References within the Student Research Competition-track

2015

SPLASH