Language Support for Privacy Budget Management
Proceedings of the 40th IEEE Computer Security Foundations Symposium (CSF 2027), 2027
To appear[bib]
Research
My research lies at the intersection of programming language design and sensitive data protection, with a focus on formal techniques. I study how to gradually adopt advanced type systems (such as linear or probabilistic types) to guarantee security and privacy properties. In parallel, I explore differential privacy and anonymization techniques, applied both to software engineering and real-world data analysis, with applications in artificial intelligence and natural language processing. My work combines formal theoretical contributions with empirical applications, promoting systems that are trustworthy by design.
Gradual typing
14 papersSound bridges between static guarantees and dynamic flexibility, from parametricity to effects and references.
Privacy and security
10 papersType systems and languages for differential privacy and information flow, and anonymization of real data.
Typed query languages
4 papersFormal semantics and type systems for SQL engines and the GQL graph query standard.
Education
- PhD
Doctorado en Ciencias mención Computación
Universidad de Chile, 2019. Thesis: Abstracting Gradual Typing: Metatheory and Applications, advised by Éric Tanter
- MSc
Magíster en Ciencias mención Computación
Universidad de Chile, 2015. Thesis: Customizable Gradual Effects for Scala, advised by Éric Tanter
- Eng
Ingeniería Civil en Computación
Universidad de Chile, 2008. Thesis: Usabilidad en una Herramienta de Gestión de Desarrollo de Proyectos de Software, advised by Agustín Villena
Publications
To appear
froGQL: Worst-Case Optimal Joins and Type-Driven Optimization for Lightweight GQL
Proceedings of the 25th International Semantic Web Conference (ISWC 2026), volume 2, number 1, 2026, Springer-Verlag
To appear[bib]
2026
2025
Elucidating Type Conversions in SQL Engines
Proceedings of the 34th European Symposium on Programming Languages and Systems (ESOP 2025), volume 15694, pp.408-435, April 2025, Springer-Verlag
Reducing urban speed limits decreases work-related traffic injury severity: Evidence from Santiago, Chile
Travel Behaviour and Society, volume 40, article 101034, 2025, Elsevier
Visualizing the semantics of gradual languages with Gredex
SoftwareX, volume 32, article 102425, December 2025, Elsevier
Flexible and Expressive Typed Path Patterns for GQL
Proceedings of the ACM on Programming Languages, volume 9, number OOPSLA1, pp.302-328, 2025, ACM Press
Gradual Sensitivity Typing
Proceedings of the 38th IEEE Computer Security Foundations Symposium (CSF 2025), pp.314-329, June 2025, IEEE Computer Society Press
A Study of Data Anonymization in Chile’s Public Sector
Proceedings of the 44th International Conference of the Chilean Computer Science Society (SCCC 2025), pp.1-8, October 2025, IEEE Computer Society Press
Robust Dynamic Embedding for Gradual Typing
Proceedings of the ACM on Programming Languages, volume 9, number ICFP, pp.238:1-238:27, August 2025, ACM Press
2024
2023
A Gradual Probabilistic Lambda Calculus
Proceedings of the ACM on Programming Languages, volume 7, number OOPSLA1, pp.256-285, October 2023, ACM Press
Contextual Linear Types for Differential Privacy
ACM Transactions on Programming Languages and Systems, volume 45, number 2, pp.8:1-8:69, 2023, ACM Press
2022
2021
LETEO: Scalable Anonymization of Big Data and its Application to Learning Analytics
Technical report, Instituto de Computación, Universidad de la República (Colibrí repository), 2021
[bib]
2020
2019
2018
2017
2015
Workshops
DP-SKETCH: Constant-Budget Differentially Private Text Sanitization via Sketch-and-Reconstruct
LatinX in AI Workshop, pp.1-17, 2026
[bib]
Foundations of Gradual Abstract Interpretation
Proceedings of the 37th Symposium on Implementation and Application of Functional Languages (IFL 2025), 2025
[bib]
NERaseText: Sensitive-Aware Text Sanitization under Differential Privacy
LatinX in AI Workshop, 2025
To appear[bib]
Evaluating Privacy Risks in Synthetic Clinical Text Generation in Spanish
LatinX in AI Workshop, 2024
To appear[bib]
Students
Graduate
In progress
- PhD
Damián Nicolás Arquez Trigo
since 2022Flexible Language Support for Differentially-Private Programming
As co-advisor, main advisor Éric Tanter
- MSc
Félix Ignacio Melo Avilés
since 2024Synthetic Spanish Medical Text Generation Using Differential Privacy
Co-advised with Federico Olmedo
- MSc
Arturo Felipe Kullmer Schuller
since 2025Hierarchical Differential Privacy for the Publication of National Census Data
Co-advised with Federico Olmedo
- MSc
Javier Kauer
since 2025Gradual Typing for Objects
Co-advised with Éric Tanter
- MSc
Matías Alejandro Godoy Concha
since 2026Framework de Evaluación Estandarizado para Métodos de Privacidad Diferencial en Retrieval-Augmented Generation
As co-advisor, main advisor Felipe Bravo
- MSc
Hernan Abel Diaz Fuentes
since 2026Compilación e Implementación Eficiente de Gradual Security Typing en el marco del compilador GrEv
As co-advisor, main advisor Éric Tanter
- MSc
Martín Ignacio Rojas Cornejo
since 2026Tool Access as Variable in LLM-Based Grading: An Empirical Study on Object-Oriented Design Criteria
Co-advised with Felipe Bravo
Graduated
- MSc
Gaspar Ricci
2026Gradual Abstract Interpretation
Co-advised with Éric Tanter
- MSc
José L. Romero
2026A Compilation Framework for Gradually-Typed Languages
As co-advisor, main advisor Éric Tanter
- MSc
Benjamin Hurtado
2026Implementing a Decentralized Attribute-Based Messaging System with Partial Linkability Using Attribute-Based Signatures
Co-advised with Federico Olmedo
- PhD
Elizabeth Labrada
2023Gradual System F
As co-advisor, main advisor Éric Tanter
- MSc
Damián Nicolás Arquez Trigo
2021Gradual Sensitivity Types
As co-advisor, main advisor Éric Tanter
- MSc
Fabian Mosso
2020Countable Polymorphic May-Must Effects
As co-advisor, main advisor Éric Tanter
Undergraduate
Theses in progress21
- Eng
Julián Ignacio Ferreira Arteaga
since 2026Incorporación de agentes de IA para automatización de procesos en software OpticksAI
- Eng
Augusto Ignacio Aguayo Barham
since 2026Agente conversacional Buk
- Eng
Marcelo Chuang Yang
since 2026Sistema de inventario RFID para Ticketplus
- Eng
Tomás Ari Ubilla Zavala
since 2026Extensión de una plataforma para la evaluación in-situ de laboratorios de programación
- Eng
Ignacia Sofía Montserrat Galaz Alvarado
since 2026Mejorando la privacidad en la Encuesta Nacional Urbana de Seguridad Ciudadana
As co-advisor
- Eng
Martín Emilio Maulén Líbano
since 2026Wiki interactiva para el curso Privacidad de Datos
As co-advisor
- Eng
Benjamín Antonio Estupiñan Badilla
since 2026Plataforma de uso compartido de GPU para entrenamiento e inferencia interactiva
Co-advised with Mauricio Cerda
- Eng
Vicente Javier Álamos Villanueva
since 2026Refactorización y aseguramiento de calidad en Tyger
Co-advised with Éric Tanter
- Eng
Matías Ignacio Neira Miranda
since 2026Conversión de consultas SQL entre sistemas de gestion de bases de datos
Co-advised with Éric Tanter
- Eng
Tomás Vicente Méndez Corvalán
since 2026froGQL: Refactorización y aseguramiento de calidad
Co-advised with Nicolás Lehmman
- Eng
Tamara Salomé Marciel González
since 2026Implementación de soporte para Dipreca y Capredena en Buk
- Eng
Daniel Ramírez López
since 2026Roadmap de educación
- Eng
Mikael Gaete López
since 2026Behavior-Preserving SQL Translation with LLMs
- Eng
Diego San Martín A.
since 2026Optimización de flujo de desarrollo usando agentic AI en Fintech (Chita)
- Eng
Francisco Gutiérrez Albornoz
since 2026Ampliación y unificación de servicios web en Codep
- Eng
Alexander Reisenegger Meissner
since 2026Sistema Centralizado de Gestión de Costos para Servicios de IA
As co-advisor, main advisor Nicolás Lehmann
- Eng
Andrés Gallardo
since 2026Desarrollo de herramienta de balanceo de charts en Buk
- Eng
Diego Samuel Tapia Ramírez
since 2026Diseño e implementación de un sistema de orquestación transaccional para la reestructuración y desvinculación financiera de clientes en una arquitectura SaaS multi-tenant
- Eng
Ariel Ignacio Leon Soto
since 2026Mejorando la privacidad en la Encuesta de Presupuestos Familiares
As co-advisor
- Eng
Felipe Avendaño Araya
since 2025Prototipo de GQL en Rust
- Eng
Juan I. Valdivia G.
since 2025Extensión y mejora de una plataforma web y móvil para la gestión de cursos masivos con metodologías grupales
Co-advised with Cristián Salazar
Theses completed28
- Eng
Constanza Almendra Pizarro Oyaneder
2026Umlify: Diagramas de clases con exportación a código fuente Scala
- Eng
Martina Ignacia González Lucero
2026Acelerando la Protección de Datos Censales: Versión Paralela del Algoritmo TopDown
As co-advisor, main advisor Federico Olmedo
- Eng
Giusseppe Nicolás Rojas Rojas
2026Tyger: Un Acercamiento al Gradual Typing en Python
Co-advised with Éric Tanter
- Eng
Carlos Adolfo Ruz Benavides
2026Desarrollo de frontend web para proyectos de CC3002
- Eng
Nicolás Rodrigo Arancibia Aguirre
2026Gradual Typing para Python: extendiendo Tyger
Co-advised with Éric Tanter
- Eng
Angelo Alexander Herrera Galaz
2026Gradual Typing para Python: semantica eficiente
Co-advised with Éric Tanter
- Eng
Benjamín Alonso Ibacache Allan
2026Gradual Typing para Python: Privacidad de datos
Co-advised with Éric Tanter
- Eng
Benjamín Ureta M.
2026Desarrollo de página web para vinculación del DCC con el medio
As co-advisor, main advisor Adolfo Carrasco
- Eng
Andrés Ignacio Calderón Guardia
2026Extensión de Aplicación multiplataforma para la administración de cursos con salidas de terreno
Co-advised with Fernando Poblete
- Eng
Jean Paul Duchens P.
2026Extensión de un prototipo para GQL
- Eng
Jonnathan Stevens
2026Desarrollo de un Intérprete para un Lenguaje Gradual Probabilístico
Co-advised with Federico Olmedo
- Eng
Rodrigo Alexis Hidalgo Flores
2025Optimización y modernización de la infraestructura tecnológica de EmbedX con Kubernetes
- Eng
Benjamin Jesus Pozo Vidal
2025Desarrollo e Integracion de Sistemas para la Mejora de la ́atencion al Cliente Mediante Microservicios de Chatbot, ́telefon ́ia Voip y Sistema de Tickets
- Eng
Enzo Miguel Castillo Morales
2025Estudio de un Lenguaje Gradual con Subtipos Nominales
Co-advised with Éric Tanter
- Eng
Cristóbal Ardiles Quiroz
2025Tyger: Una Herramienta de Tipado Estático Extensible para Python
As co-advisor, main advisor Éric Tanter
- Eng
Jorge Andrés Cruces Ortiz
2025Typechecker enfocado a dimensionalidad de tensores: Soporte para NLP
Co-advised with Éric Tanter
- Eng
Tomás Joaquín Rivas Acuña
2025Detección de vulnerabilidades de privacidad en la publicación de datos por parte de instituciones públicas
As co-advisor, main advisor Federico Olmedo
- Eng
Sebastián Ricardo Bórquez Luarte
2025Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala
Co-advised with Nancy Hitschfeld
- Eng
Romina Fernanda Yael Rodríguez Rodríguez
2025Aplicación multiplataforma para la administración de información confidencial en cursos con salidas a terreno
Co-advised with Fernando Poblete
- Eng
Martín Ignacio Ramírez Aravena
2025Gradual Typing para Python: plugin para IDE
Co-advised with Éric Tanter
- Eng
Martina Javiera Mora Lepin
2025Anonimización utilizando Abstract Interpretation
Co-advised with Federico Olmedo
- Eng
Arturo Felipe Kullmer Schuller
2025Manteniendo la privacidad en los censos nacionales
As co-advisor, main advisor Federico Olmedo
- Eng
Kathleen Alexandra Köhler Ávila
2025Extensión de aplicación ERdoc
Co-advised with Aidan Hogan
- Eng
Raúl Alexander Silva Astudillo
2024Extensión de Educáncer para Su Aplicación en Distintos Tipos de Cáncer
- Eng
Cristián Andrés Salazar De La Fuente
2024Sistema de apoyo a la docencia y gestión de alumnos en cursos con metodologías grupales
- Eng
Bruno Germán Rodríguez Sepúlveda
2024Clustering Diferencialmente Privado Mediante la Generacion de Sinopsis Privadas de Datos
As co-advisor, main advisor Federico Olmedo
- Eng
Tomás Ignacio Cortez Encina
2023Diseño e implementación de sistema de autenticación de usuarios conectando bases de datos preexistentes
Co-advised with Claudio Gutierrez
- Eng
Vicente Reyes Valdivieso
2023Estudio e implementación de un lenguaje de autorización para bases de datos relacionales
As co-advisor, main advisor Federico Olmedo
Projects
Grants
Learning Origin-destination Inference through Cross-source Analytics (LOICA)
Co-investigatorFondecyt Regular 2026, led by Eduardo Graells-Garrido
COLIBRÍ (COLaboración Integrada para Barrios Resilientes e Inteligentes): Plataforma de Análisis y Visualización para Municipios
Alternate directorConcurso IDeA I+D 2025, led by Eduardo Graells-Garrido
Gradual Differential Privacy: Theory and Applications
Principal investigatorFondecyt de Iniciación en Investigación 2025
Privacy-preserving methods for clinical natural language processing in Spanish
Co-investigatorFondecyt Regular 2024, led by Jocelyn Dunstan
Gradual Abstract Interpretation
Principal investigatorProyectos de Investigación Conjunta ANID Chile - DFG Alemania 2022
- Co-investigator
Proyectos de Investigación e Innovación - Superintendencia de Seguridad Social, led by Santiago Mansilla
Gradual Reasoning About Differential Privacy
Principal investigatorFondecyt de Postdoctorado 2020
Centres
Instituto Milenio de Fundamento de Datos (IMFD)
since 2025Young researcher
Instituto Milenio de Fundamento de Datos (IMFD)
2022–2025Collaborating researcher
Teaching
Courses
CC3002Metodologías de Diseño y Programación
2022–2026CC5215Privacidad de datos
2023–2026Created 2023
CC5003Aplicaciones Web Reactivas
2025–2026Created 2025
DPDCCPDP04Privacidad de Datos
2026CC3201Bases de Datos
2020–2024
| Course | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | 2026 |
|---|---|---|---|---|---|---|---|
| CC3002 | not taught | not taught | semester 2 | both semesters | both semesters | both semesters | both semesters |
| CC5215 | not taught | not taught | not taught | semester 1 | semester 1 | semester 1 | semester 1 |
| CC5003 | not taught | not taught | not taught | not taught | not taught | semester 2 | semester 2 |
| DPDCCPDP04 | not taught | not taught | not taught | not taught | not taught | not taught | semester 2 |
| CC3201 | semester 2 | semester 2 | semester 2 | semester 2 | semester 2 | not taught | not taught |