Matías Toro -

Registered user since Thu 27 Aug 2015

Name:Matías Toro

Country:Chile

Affiliation:University of Chile

Contributions

SPLASH 2023	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 2023	Committee Member in Program Committee within the HOPE 2023-track
SPLASH 2022	Author of Plausible sealing for gradual parametricity within the OOPSLA-track
ICFP 2022	Committee Member in Program Committee within the ICFP Papers and Events-track
ML 2021	Committee Member in Program Committee within the ML 2021-track
ECOOP 2020	Author of Abstracting gradual references within the Research Papers-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2019	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
POPL 2019	Author of Gradual Parametricity, Revisited within the Research Papers-track Author of Type-Driven Gradual Security with References within the Research Papers-track
POPL 2018	Presenter of Type-Driven Gradual Security with References within the Student Research Competition-track
SPLASH 2015	Author of Customizable Gradual Polymorphic Effects for Scala within the OOPSLA Artifacts-track Author of Customizable Gradual Polymorphic Effects for Scala within the OOPSLA-track