We stand with Ukraine  

Matías Toro

Orcid: 0000-0002-5315-0198

According to our database1, Matías Toro authored at least 22 papers between 2015 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Compiling Gradual Types with Evidence.
[BibTeX]
[DOI]
José Luis Romero
,
Cristóbal Isla
,
Matías Toro
,
Éric Tanter
CoRR, December, 2025

Visualizing the semantics of gradual languages with Gredex.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
SoftwareX, 2025

Flexible and Expressive Typed Path Patterns for GQL.
[BibTeX]
[DOI]
Wenjia Ye
,
Matías Toro
,
Tomás Díaz
,
Bruno C. d. S. Oliveira
,
Manuel Rigger
,
Claudio Gutierrez
,
Domagoj Vrgoc
Proc. ACM Program. Lang., 2025

Robust Dynamic Embedding for Gradual Typing.
[BibTeX]
[DOI]
Koen Jacobs
,
Matías Toro
,
Nicolas Tabareau
,
Éric Tanter
Proc. ACM Program. Lang., 2025

A Study of Data Anonymization in Chile's Public Sector.
[BibTeX]
[DOI]
Tomás Rivas
,
Federico Olmedo
,
Matías Toro
Proceedings of the 44th International Conference of the Chilean Computer Science Society, 2025

Elucidating Type Conversions in SQL Engines.
[BibTeX]
[DOI]
Wenjia Ye
,
Matías Toro
,
Claudio Gutierrez
,
Bruno C. d. S. Oliveira
,
Éric Tanter
Proceedings of the Programming Languages and Systems, 2025

Gradual Sensitivity Typing.
[BibTeX]
[DOI]
Damián Árquez
,
Matías Toro
,
Éric Tanter
Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024
Gradual Differentially Private Programming.
[BibTeX]
[DOI]
Matías Toro
,
Federico Olmedo
,
Éric Tanter
Commun. ACM, August, 2024

Merging Gradual Typing.
[BibTeX]
[DOI]
Wenjia Ye
,
Bruno C. d. S. Oliveira
,
Matías Toro
Proc. ACM Program. Lang., 2024

Speed Limit Reduction Enhances Urban Worker Safety: Evidence from a Decade of Traffic Incidents in Santiago, Chile.
[BibTeX]
[DOI]
Eduardo Graells-Garrido
,
Matías Toro
,
Gabriel Mansilla
,
Matías Nicolai
,
Santiago Mansilla
,
Jocelyn Dunstan
CoRR, 2024

2023
Contextual Linear Types for Differential Privacy.
[BibTeX]
[DOI]
Matías Toro
,
David Darais
,
Chike Abuah
,
Joseph P. Near
,
Damián Árquez
,
Federico Olmedo
,
Éric Tanter
ACM Trans. Program. Lang. Syst., June, 2023

A Gradual Probabilistic Lambda Calculus.
[BibTeX]
[DOI]
Wenjia Ye
,
Matías Toro
,
Federico Olmedo
Proc. ACM Program. Lang., April, 2023

2022
Plausible sealing for gradual parametricity.
[BibTeX]
[DOI]
Elizabeth Labrada
,
Matías Toro
,
Éric Tanter
,
Dominique Devriese
Proc. ACM Program. Lang., 2022

Gradual System F.
[BibTeX]
[DOI]
Elizabeth Labrada
,
Matías Toro
,
Éric Tanter
J. ACM, 2022

2020
Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16.
[BibTeX]
[DOI]
Matías Toro
,
Ronald Garcia
,
Éric Tanter
ACM Trans. Program. Lang. Syst., 2020

Abstracting gradual references.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Sci. Comput. Program., 2020

Contextual Linear Types for Differential Privacy.
[BibTeX]
[DOI]
Matías Toro
,
David Darais
,
Chike Abuah
,
Joe Near
,
Federico Olmedo
,
Éric Tanter
CoRR, 2020

Abstracting Gradual References (SCICO Journal-first).
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Gradual parametricity, revisited.
[BibTeX]
[DOI]
Matías Toro
,
Elizabeth Labrada
,
Éric Tanter
Proc. ACM Program. Lang., 2019

2018
Type-Driven Gradual Security with References.
[BibTeX]
[DOI]
Matías Toro
,
Ronald Garcia
,
Éric Tanter
ACM Trans. Program. Lang. Syst., 2018

2017
A Gradual Interpretation of Union Types.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the Static Analysis - 24th International Symposium, 2017

2015
Customizable gradual polymorphic effects for Scala.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015


  Loading...