![]() | Éric Tanter | |
Full Professor / Profesor Titular | etanter@dcc.uchile.cl | |
University of Chile | Beauchef 851, of.310 | |
Computer Science Department (DCC) | Santiago, Chile | |
PLEIAD Lab | phone: +56 2 2978 4953 | |
Associate Researcher, IMFD | fax: +56 2 2689 5531 |
News
- I have been awared an Inria International Chair (2025-2030) hosted by the Gallinette research team
- I'm on the PC of POPL 2026
- Gradual Sensitivity Typing accepted at CSF 2025
- Gradual C0: Symbolic Execution for Gradual Verification accepted at TOPLAS, to be presented at POPL 2025
- Elucidating Type Conversions in SQL Engines accepted at ESOP 2025
Academic Activities
Program Committee Member (Conferences)
Program Committee Member (Workshops)
Editorial Boards, Committees, Evaluations
Publications
Online profiles: Google Scholar ResearchGate
Online libraries and indices: DBLP ACM SpringerLink
The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
2025
[bib]
Gradual Sensitivity Typing
Proceedings of the IEEE Computer Security Foundations Symposium, 2025
To appear
2024
2023
2022
2021
2020
2019
2018
Equivalences for Free: Univalent Parametricity for Effective Transport
Proceedings of the ACM on Programming Languages, volume 2, number ICFP, pp.92:1-92:29, September 2018, ACM Press
Distinguished Paper Award - superseded by JACM article "The Marriage of Univalence and Parametricity" (2021)
2017
2016
2015
An Empirical Study of GOTO in C Code from GitHub Repositories
Proceedings of the 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp.404-414, Bergamo, Italy, Aug-sep 2015, ACM Press
2014
2013
2012
2011
[bib]
Estrategias Cognitivas para el Calculo Mental
Revista Latinoamericana de Investigación en Matemática Educativa, volume 14, number 1, pp.9-40, March 2011, Clame
[bib]
Higher-Order Contracts for Actor-Based Languages
Proceedings of the AGERE! (Actors and aGEnts REloaded) workshop, held at SPLASH 2011, Portland, USA, October 2011
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs
Proceedings of the 8th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011), New Ideas track, pp.508-511, Szeged, Hungary, September 2011, ACM Press
Superseded by TOSEM 2014
2010
[bib]
Parallel Actor Monitors
Proceedings of the 14th Brazilian Symposium on Programming Languages (SBLP 2010), pp.83-96, Salvador - Bahia, Brazil, September 2010, SBC
Superseded by SCP 2014
2009
[bib]
Higher-Order Aspects in Order
Scheme and Functional Programming Workshop, Boston, MA, USA, August 2009
2008
2007
[bib]
Proceedings of the XXVI International Conference of the Chilean Computer Science Society
Proceedings of the XXVI International Conference of the Chilean Computer Science Society, Iquique, Chile, November 2007, IEEE Computer Society
[bib]
Proceedings of the 3rd ECOOP workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4AmI 2007)
Proceedings of the 3rd ECOOP workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4AmI 2007), Berlin, Germany, July 2007, Technical Report 2007-12, Technische Universität Berlin
2006
[bib]
Declarative composition of structural aspects
number TR/DCC-2006-11, November 2006, University of Chile
Superseded by JUCS 2009
Declarative, Formal, and Extensible Syntax Definition for AspectJ -- A Case for Scannerless Generalized-LR Parsing
Proceedings of the 21st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2006), pp.209-228, Portland, Oregon, USA, October 2006, ACM Press
ACM SIGPLAN Notices , 41(10)
On Dynamically-Scoped Crosscutting Mechanisms
Proceedings of the European Workshop on Aspects in Software (EWAS 2006), pp.18-22, Twente, The Netherlands, September 2006, Technical Report IAI-TR-2006-6, University of Bonn, Germany, University of Bonn
Superseded by ACM SIGPLAN Notices 2007
2005
2004
[bib]
A Concern-based Approach to Software Evolution
Proceedings of the AOSD Workshop on Dynamic Aspects (DAW 2004), Lancaster, UK, March 2004
2003
2002
2001
Other material
I teach several courses related to programming languages.
In particular, I use Shriram Krishnamurthi's PLAI book for the first PL course. I have written a couple of add-ons for PLAI:
- PrePLAI: crash course on Scheme and functional programming (in spanish)
- OOPLAI: exploring OOP from scratch using macros
I have also gathered some writing tips over time.
Charla sobre ética en investigación (curso postgrado DCC)