Seguir
Matías Toro
Matías Toro
Assistant Professor at University of Chile
Dirección de correo verificada de dcc.uchile.cl - Página principal
Título
Citado por
Citado por
Año
Type-driven gradual security with references
M Toro, R Garcia, É Tanter
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 1-55, 2018
532018
Gradual parametricity, revisited
M Toro, E Labrada, É Tanter
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
432019
A gradual interpretation of union types
M Toro, É Tanter
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
292017
Customizable gradual polymorphic effects for Scala
M Toro, É Tanter
ACM SIGPLAN Notices 50 (10), 935-953, 2015
252015
Abstracting gradual references
M Toro, É Tanter
Science of Computer Programming 197, 102496, 2020
172020
Contextual linear types for differential privacy
M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter
ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023
52023
Plausible sealing for gradual parametricity
E Labrada, M Toro, É Tanter, D Devriese
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022
52022
Gradual parametricity, revisited. PACMPL 3, POPL (2019), 17: 1–17: 30
M Toro, E Labrada, É Tanter
52019
Gradual parametricity, revisited (with appendix)
M Toro, E Labrada, É Tanter
arXiv preprint arXiv:1807.04596, 2018
22018
Type-Driven Gradual Security with References: Complete Definitions and Proofs
M Toro, R Garcia, É Tanter
Technical Report TR/DCC-2018-4. University of Chile, 2018
12018
Gradual Sensitivity Typing
D Arquez, M Toro, É Tanter
arXiv preprint arXiv:2308.02018, 2023
2023
A Gradual Probabilistic Lambda Calculus
W Ye, M Toro, F Olmedo
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 256-285, 2023
2023
Programming Languages and Systems
M Vukasovic, A Prokopec, A Boruch-Gruszecki, M Odersky, E Lee, ...
ACM Transactions on 45 (4), 2023
2023
Gradual System F
E Labrada, M Toro, É Tanter
Journal of the ACM 69 (5), 1-78, 2022
2022
Técnicas formales de privacidad de datos:¿ Está el Servel protegiendo nuestra privacidad?
M Toro
Revista Bits de Ciencia, 36-36, 2022
2022
Doctorados
M Campusano, M Toro, M Quezada, D Hernández
Revista Bits de Ciencia, 93-98, 2021
2021
LETEO: Scalable anonymization of big data and its application to learning analytics
E Giménez, L Etcheverry, F Olmedo, C Buil Aranda, M Toro, M Pastorini
Udelar. FI., 2021
2021
Abstracting Gradual References (SCICO Journal-first)
M Toro, É Tanter
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18