Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matías Toro
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2025 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
SPLASH 2015 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Thu 27 Aug 2015
Name:
Matías Toro
Country:
Chile
Affiliation:
University of Chile
Contributions
2025
ICFP
Committee Member in ICFP Programme Committee within the ICFP Papers-track
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
Author of Gradual Parametricity, Revisited within the Research Papers-track
Author of Type-Driven Gradual Security with References within the Research Papers-track
2018
POPL
Presenter of Type-Driven Gradual Security with References within the Student Research Competition-track
2015
SPLASH
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
Share
x
Thu 21 Nov 11:34