Publications of Matías Toro
(if a year does not appear in the list, it is because there are no records for that particular year)
Year 2025
| 1. |
Visualizing the Semantics of Gradual Languages with
Gredex.
Journal: SoftwareX. Volume: 32. Pages: Article 102425. Date: October 2025. Authors: Matías Toro, Éric Tanter |
|
| 2. |
Robust Dynamic Embedding for Gradual Typing.
Journal: Proceedings of the ACM Programming Languages. Volume: 9. Issue: ICFP. Pages: 66-92. Date: August 2025. Authors: Koen Jacobs, Matías Toro, Nicolas Tabareau, Éric Tanter |
|
| 3. |
Gradual Sensitivity Typing.
Conference: Computer Security Foundations Symposium (Santa Cruz). Publisher: IEEE Computer Society Press. Pages: 314-329. Date: 2025. Authors: Damián Árquez, Matías Toro, Éric Tanter |
|
| 4. |
Flexible and Expressive Typed Path Patterns for GQL.
Journal: Proceedings of the ACM Programming Languages. Volume: 9. Issue: OOPSLA. Pages: 302-328. Date: October 2025. Authors: Wenjia Ye, Matías Toro, Tomás Diaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc |
|
| 5. |
Elucidating Type Conversions in SQL Engines.
Conference: European Symposium on Programming. Publisher: Springer Nature Switzerland AG. Pages: 408-435. Date: 2025. Authors: Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter |
|
| 6. |
Reducing Urban Speed Limits Decreases Work-related Traffic
Injury Severity: Evidence from Santiago, Chile.
Journal: Travel Behaviour and Society. Volume: 40. Pages: Article 101034. Date: April 2025. Authors: Eduardo Graells, Matías Toro, Gabriel Mansilla, Matías Nicolai, Santiago Mansilla, Jocelyn Dunstan |
|