	É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
All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants accepted at POPL 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 Chair

Program Committee Member (Conferences)

53rd ACM SIGPLAN Conference on Principles of Programming Languages (POPL 2026)
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
50th ACM SIGPLAN Conference on Principles of Programming Languages (POPL 2023)
17th ACM Dynamic Languages Symposium (DLS 2021)
34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2019)
23rd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
45th ACM SIGPLAN Conference on Principles of Programming Languages (POPL 2018)
27th European Symposium on Programming (ESOP 2018)
32nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2017) – External Program Committee
14th Asian Symposium on Programming Languages and Systems (APLAS 2016)
17th Symposium on Trends in Functional Programming (TFP 2016)
31st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2016) – External Program Committee
30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2015)
24th European Symposium on Programming (ESOP 2015)
14th International Conference on Modularity, External Review Committee (MODULARITY 2015)
13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014)
27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012)
ACM Symposium on Applied Computing (SAC 2012), Track on (Programming for Separation of Concerns)
10th ACM International Conference on Generative Programming and Component Engineering (GPCE 2011)
10th ACM International Conference on Aspect-Oriented Software Development (AOSD 2011)
6th ACM Dynamic Languages Symposium (DLS 2010)
24th European Conference on Object-Oriented Programming (ECOOP 2010)
9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010)
ACM Symposium on Applied Computing (SAC 2010), Track on (Programming for Separation of Concerns)
IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2009)
47th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2009)
13th Brazilian Symposium on Programming Languages (SBLP 2009)
8th International Conference on Software Composition (SC 2009)
ACM Symposium on Applied Computing (SAC 2009), Track on Programming for Separation of Concerns
5th International Conference on Autonomic and Autonomous Systems (ICAS 2009)
XXVIIth International Conference of the Chilean Computer Science Society (SCCC 2008)
12th Brazilian Symposium on Programming Languages (SBLP 2008)
IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2008)
ACM Symposium on Applied Computing (SAC 2008), Track on Programming Languages, and Track on Programming for Separation of Concerns
International Conference on Trustworthy Global Computing (TGC 2007)
IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007)
International Symposium on Software Composition (SC 2007)
ACM Symposium on Applied Computing (SAC 2007), Track on Programming for Separation of Concerns
NODe 2006 - Objects, Aspects, Services, the Web
ACM Symposium on Applied Computing (SAC 2006), Track on Programming for Separation of Concerns

Program Committee Member (Workshops)

Editorial Boards, Committees, Evaluations

Organization of Events (Workshops, Conferences, Schools)

Outreach

Research Projects

Administration

Awards & Distinctions

Grad students

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, doi, pdf]

All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants

Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 9, number POPL, pp.76:1-76:29, January 2025, ACM Press

[bib, doi, pdf]

Elucidating Type Conversions in SQL Engines

Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C d S Oliveira, Éric Tanter

Proceedings of the 34th European Symposium on Programming Languages and Systems (ESOP 2025), volume 15694, pp.408-435, April 2025, Springer-Verlag

[bib, doi, pdf]

Gradual C0: Symbolic Execution for Gradual Verification

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

ACM Transactions on Programming Languages and Systems, volume 46, number 4, pp.14:1-14:58, 2025, ACM Press

Presented at POPL 2025

[bib]

Gradual Sensitivity Typing

Damián Árquez, Matías Toro, Éric Tanter

Proceedings of the IEEE Computer Security Foundations Symposium, 2025

To appear

2024

[bib, doi, pdf]

Gradual Differentially Private Programming

Matías Toro, Federico Olmedo, Éric Tanter

Communications of the ACM, volume 67, number 8, August 2024, ACM Press

[bib, doi, pdf]

Gradual Indexed Inductive Types

Mara Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 8, number ICFP, pp.255:1-255:29, August 2024, ACM Press

[bib, doi, pdf]

Securing Verified IO Programs Against Unverified Code in F*

Cezar Andrici, Ştefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

Proceedings of the ACM on Programming Languages, volume 8, number POPL, pp.74:1-74:34, January 2024, ACM Press

2023

[bib, doi, pdf]

Contextual Linear Types for Differential Privacy

Matías Toro, David Darais, Chike Abuah, Joe Near, Damián Árquez, Federico Olmedo, Éric Tanter

ACM Transactions on Programming Languages and Systems, volume 45, pp.8:1-8:69, 2023, ACM Press

2022

[bib, doi, pdf]

A Reasonably Gradual Type Theory

Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 6, number ICFP, pp.931-959, August 2022, ACM Press

[bib, doi, pdf]

Gradualizing the Calculus of Inductive Constructions

Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter

ACM Transactions on Programming Languages and Systems, volume 44, number 2, June 2022

Presented at POPL 2022

[bib, doi, pdf]

Gradual System F

Elizabeth Labrada, Matías Toro, Éric Tanter

Journal of the ACM, volume 69, pp.38:1-38:78, October 2022, ACM Press

[bib, doi, pdf]

Plausible Sealing for Gradual Parametricity

Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese

Proceedings of the ACM on Programming Languages, volume 6, number OOPSLA1, pp.70:1-70:28, April 2022, ACM Press

[bib, doi, pdf]

Propositional Equality for Gradual Dependently-Typed Programming

Joseph Eremondi, Ronald Garcia, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 6, number ICFP, pp.165-193, August 2022, ACM Press

2021

[bib, doi, pdf]

An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation

Carmine Abate, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Transactions on Programming Languages and Systems, volume 43, number 4, pp.14:1-14:48, December 2021, ACM Press

[bib, doi, pdf]

Gradually Structured Data

Stefan Malewski, Michael Greenberg, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 5, number OOPSLA, pp.126:1-126:28, November 2021, ACM Press

[bib, doi, pdf]

Gradual Program Analysis for Null Pointers

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine

Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP 2021), Aarhus, Denmark, July 2021, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

[bib, doi, pdf]

The Marriage of Univalence and Parametricity

Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

Journal of the ACM, volume 68, number 1, pp.5:1-5:44, January 2021, ACM Press

[bib, pdf]

The Multiverse: Logical Modularity for Proof Assistants

Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

Draft on arXiv, 2021

2020

[bib, doi, pdf]

Abstracting Gradual References

Matías Toro, Éric Tanter

Science of Computer Programming, volume 197, pp.1-65, October 2020, Elsevier

[bib, doi, pdf]

A Mechanized Formalization of GraphQL

Tomás Díaz, Federico Olmedo, Éric Tanter

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020), pp.201-214, New Orleans, Louisiana, USA, January 2020

[bib, doi, pdf]

Gradual Verification of Recursive Heap Data Structures

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proceedings of the ACM on Programming Languages, volume 4, number OOPSLA, pp.228:1-228:28, November 2020, ACM Press

[bib, pdf]

Gradual Typing as if Types Mattered

Ronald Garcia, Éric Tanter

Informal Proceedings of the ACM SIGPLAN Workshop on Gradual Typing (WGT20), January 2020

[bib, doi, pdf]

Trace-Relating Compiler Correctness and Secure Compilation

Carmine Abate, Roberto Blanco, Ştefan Ciobâcă, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the 29th European Symposium on Programming Languages and Systems (ESOP 2020), volume 12075, pp.1-28, Dublin, Ireland, April 2020, Springer-Verlag

2019

[bib, doi, pdf]

A Reasonably Exceptional Type Theory

Pierre-Marie Pédrot, Nicolas Tabareau, Hans Fehrmann, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 3, number ICFP, pp.108:1-108:29, August 2019, ACM Press

[bib, doi, pdf]

Approximate Normalization for Gradual Dependent Types

Joseph Eremondi, Éric Tanter, Ronald Garcia

Proceedings of the ACM on Programming Languages, volume 3, number ICFP, pp.88:1-88:30, August 2019, ACM Press

[bib, doi, pdf]

Chemical Foundations of Distributed Aspects

Nicolas Tabareau, Éric Tanter

Distributed Computing, volume 32, number 3, pp.193-216, June 2019, Springer-Verlag

[bib, doi, pdf]

Dijkstra Monads for All

Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 3, number ICFP, pp.104:1-104:29, August 2019, ACM Press

[bib, doi, pdf]

Existential Types for Relaxed Noninterference

Raimil Cruz, Éric Tanter

Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS 2019), volume 11893, pp.73-92, Bali, Indonesia, December 2019, Springer-Verlag

[bib, doi, pdf]

Gradual Parametricity, Revisited

Matías Toro, Elizabeth Labrada, Éric Tanter

Proceedings of the ACM on Programming Languages, volume 3, number POPL, pp.17:1-17:30, January 2019, ACM Press

Distinguished Paper Award - superseded by JACM article "Gradual System F" (2022)

[bib, doi, pdf]

Polymorphic Relaxed Noninterference

Raimil Cruz, Éric Tanter

Proceedings of the IEEE Secure Development Conference (SecDev 2019), pp.101-113, McLean, VA, USA, September 2019, IEEE Computer Society Press

2018

[bib, doi, pdf]

A Trustworthy Mechanized Formalization of R

Martin Bodin, Tomás Diaz, Éric Tanter

Proceedings of the 14th ACM Dynamic Languages Symposium (DLS 2018), pp.13-24, Boston, MA, USA, November 2018, ACM Press

[bib, doi, pdf]

Equivalences for Free: Univalent Parametricity for Effective Transport

Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

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)

[bib, doi, pdf]

Foundations of Dependent Interoperability

Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter

Journal of Functional Programming, volume 28, pp.9:1-9:44, 2018, Cambridge University Press

[bib, doi, pdf]

Gradual Liquid Type Inference

Niki Vazou, Éric Tanter, David Van Horn

Proceedings of the ACM on Programming Languages, volume 2, number OOPSLA, pp.132:1-132:25, November 2018, ACM Press

Distinguished Paper Award

[bib, pdf]

Gradual Parametricity, Revisited (with Appendix)

Matías Toro, Elizabeth Labrada, Éric Tanter

2018

arXiv:1807.04596 [cs.PL]

[bib, doi, pdf]

Gradual Program Verification

Johannes Bader, Jonathan Aldrich, Éric Tanter

Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018), volume 10747, pp.25-46, Los Angeles, CA, USA, January 2018, Springer-Verlag

[bib, doi, pdf]

Type-Driven Gradual Security with References

Matías Toro, Ronald Garcia, Éric Tanter

ACM Transactions on Programming Languages and Systems, volume 40, number 4, pp.16:1-16:55, November 2018, ACM Press

Presented at POPL 2019

[bib, pdf]

Type-Theoretic Galois Connections

Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter

Workshop on the Principles of Secure Compilation (PriSC 2018), Los Angeles, CA, USA, January 2018

Extended abstract

2017

[bib, doi, pdf]

A Gradual Interpretation of Union Types

Matías Toro, Éric Tanter

Proceedings of the 24th Static Analysis Symposium (SAS 2017), volume 10422, pp.382-404, New York City, NY, USA, August 2017, Springer-Verlag

[bib, doi, pdf]

Foundations of Dependent Interoperability

Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter

number HAL-01629909, November 2017, Inria

[bib, pdf]

Gradual Union Types---Complete Definition and Proofs

Matías Toro, Éric Tanter

number TR/DCC-2017-1, June 2017, University of Chile

[bib, doi, pdf]

Gradual Refinement Types

Nico Lehmann, Éric Tanter

Proceedings of the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017), pp.775-788, Paris, France, January 2017, ACM Press

[bib, doi, pdf]

Type Abstraction for Relaxed Noninterference

Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter

Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), volume 74, pp.7:1-7:27, Barcelona, Spain, June 2017, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

2016

[bib, doi, pdf]

Abstracting Gradual Typing

Ronald Garcia, Alison M Clark, Éric Tanter

Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), pp.429-442, St Petersburg, FL, USA, January 2016, ACM Press

See erratum: https://www.cs.ubc.ca/~rxg/agt-erratum.pdf

[bib, doi, pdf]

Effect Capabilities for Haskell: Taming Effect Interference in Monadic Programming

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Science of Computer Programming, volume 119, pp.3-30, April 2016, Elsevier

[bib, pdf]

Formalizing Simple Refinement Types in Coq

Nico Lehmann, Éric Tanter

2nd International Workshop on Coq for Programming Languages (CoqPL'16), St. Petersburg, FL, USA, January 2016

[bib, pdf]

Gradual Refinement Types---Extended Version with Proofs

Nico Lehmann, Éric Tanter

number TR/DCC-2016-1, November 2016, University of Chile

[bib, doi, pdf]

Gradual Type-and-Effect Systems

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

Journal of Functional Programming, volume 26, pp.19:1-19:69, September 2016, Cambridge University Press

[bib, doi, pdf]

Partial Type Equivalences for Verified Dependent Interoperability

Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter

Proceedings of the 21st ACM SIGPLAN Conference on Functional Programming (ICFP 2016), pp.298-310, Nara, Japan, September 2016, ACM Press

[bib, doi, pdf]

Polymorphic Bytecode Instrumentation

Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni

Software---Practice and Experience, volume 46, pp.1351-1380, October 2016, Wiley & Sons

2015

[bib, doi, pdf]

An Empirical Study of GOTO in C Code from GitHub Repositories

Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane Mcintosh, Audris Mockus, Ahmed E Hassan

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

[bib, doi, pdf]

An Expressive Stateful Aspect Language

Paul Leger, Éric Tanter, Hiroaki Fukuda

Science of Computer Programming, volume 102, number 1, pp.108-141, May 2015, Elsevier

[bib, doi, pdf]

A Taxonomy of Domain-Specific Aspect Languages

Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter

Computing Surveys, volume 47, number 3, pp.40:1-40:44, April 2015, ACM Press

[bib, doi, pdf]

Customizable Gradual Polymorphic Effects for Scala

Matías Toro, Éric Tanter

Proceedings of the 30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2015), pp.935-953, Pittsburgh, PA, USA, October 2015, ACM Press

[bib, doi, pdf]

Computational Contracts

Christophe Scholliers, Éric Tanter, Wolfgang De Meuter

Science of Computer Programming, volume 98, number 3, pp.360-375, February 2015, Elsevier

[bib, doi, pdf]

Deriving a Simple Gradual Security Language

Ronald Garcia, Éric Tanter

November 2015

eprint arXiv:1511.01399

[bib, pdf]

Gradual Polymorphic Effects---Complete Definition and Soundness Proof

Matías Toro, Éric Tanter

number TR/DCC-2015-2, July 2015, University of Chile

[bib, doi, pdf]

Gradual Certified Programming in Coq

Éric Tanter, Nicolas Tabareau

Proceedings of the 11th ACM Dynamic Languages Symposium (DLS 2015), pp.26-40, Pittsburgh, PA, USA, October 2015, ACM Press

[bib, pdf]

Lost in Extraction, Recovered

Éric Tanter, Nicolas Tabareau

Extended abstract, ACM SIGPLAN ML Family Workshop, Vancouver, Canada, September 2015

[bib, doi, pdf]

Object-Oriented Software Extensions in Practice

Romain Robbes, David Röthlisberger, Éric Tanter

Empirical Software Engineering, volume 20, number 3, pp.745-782, June 2015, Springer-Verlag

2014

[bib, doi, pdf]

Aspectual Session Types

Nicolas Tabareau, Mario Südholt, Éric Tanter

Proceedings of the 13th International Conference on Modularity, pp.193-204, Lugano, Switzerland, April 2014, ACM Press

[bib, doi, pdf]

An Empirical Study on the Impact of Static Typing on Software Maintainability

Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, Andreas Stefik

Empirical Software Engineering, volume 19, number 5, pp.1335-1382, October 2014

[bib, doi, pdf]

A Theory of Gradual Effect Systems

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

Proceedings of the 19th ACM SIGPLAN Conference on Functional Programming (ICFP 2014), pp.283-295, Gothenburg, Sweden, September 2014, ACM Press

[bib, doi, pdf]

Compositional Reasoning about Aspect Interference

Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter

Proceedings of the 13th International Conference on Modularity, pp.133-144, Lugano, Switzerland, April 2014, ACM Press

[bib, doi, pdf]

Confined Gradual Typing

Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter

Proceedings of the 29th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2014), pp.251-270, Portland, OR, USA, October 2014, ACM Press

[bib, doi, pdf]

Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications

Éric Tanter, Ismael Figueroa, Nicolas Tabareau

Science of Computer Programming, volume 80, number 1, pp.311-342, February 2014, Elsevier

[bib, doi, pdf]

ECOCAM, un sistema computacional adaptable al contexto para promover estrategias de cálculo mental: características de su diseño y resultados preliminares

Paul Leger, Grecia Gálvez, Lino Cubillos, Diego Cosmelli, Milton Inostroza, Éric Tanter, Gina Luci, Jorge Soto Andrade

Revista Latinoamericana de Investigación en Matemática Educativa, volume 17, number 1, pp.33-58, March 2014

[bib, doi, pdf]

Effective Aspects: A Typed Monadic Embedding of Pointcut and Advice

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Transactions on Aspect-Oriented Software Development XI, Transactions on Aspect-Oriented Software Development, volume 8400, pp.145-192, 2014, Springer-Verlag

[bib, doi, pdf]

Effect Capabilities for Haskell

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the 18th Brazilian Symposium on Programming Languages (SBLP), volume 8771, pp.92-108, October 2014, Springer-Verlag

Superseded by SCP 2016

[bib, doi, pdf]

Foundations of Typestate-Oriented Programming

Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich

ACM Transactions on Programming Languages and Systems, volume 36, number 4, pp.12:1-12:44, October 2014, ACM Press

[bib, doi, pdf]

Gradual Typing for Smalltalk

Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker

Science of Computer Programming, volume 96, number 1, pp.52-69, December 2014, Elsevier

[bib, doi, pdf]

Join Point Interfaces for Safe and Flexible Decoupling of Aspects

Eric Bodden, Éric Tanter, Milton Inostroza

ACM Transactions on Software Engineering and Methodology, volume 23, number 1, pp.7:1-7:41, February 2014

[bib, doi, pdf]

On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk

Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel

Proceedings of the 10th ACM Dynamic Languages Symposium (DLS 2014), pp.135-146, Portland, OR, USA, October 2014, ACM Press

ACM SIGPLAN Notices , 50(2)

[bib, doi, pdf]

Parallel Actor Monitors: Disentangling Task-Level Parallelism from Data Partitioning in the Actor Model

Christophe Scholliers, Éric Tanter, Wolfgang De Meuter

Science of Computer Programming, volume 80, number 1, pp.52-64, February 2014, Elsevier

[bib, doi]

Transactions on Aspect-Oriented Software Development XI

Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle

Transactions on Aspect-Oriented Software Development XI, volume 8400, 2014, Springer-Verlag

2013

[bib, pdf]

Anti-Unification with Type Classes

Nicolas Tabareau, Éric Tanter, Ismael Figueroa

Journées Francophones des Langages Applicatifs (JFLA 2013), Aussois, France, February 2013

[bib, doi, pdf]

A Typed Monadic Embedding of Aspects

Nicolas Tabareau, Ismael Figueroa, Éric Tanter

Proceedings of the 12th International Conference on Aspect-Oriented Software Development (AOSD 2013), pp.171-184, Fukuoka, Japan, March 2013, ACM Press

Superseded by TAOSD 2014

[bib, doi, pdf]

A Brief Tour of Join Point Interfaces

Eric Bodden, Éric Tanter, Milton Inostroza

Proceedings of the 12th International Conference Companion on Aspect-Oriented Software Development (AOSD 2013 Companion), pp.19-22, Fukuoka, Japan, March 2013, ACM Press

[bib, doi, pdf]

Cast Insertion Strategies for Gradually-Typed Objects

Esteban Allende, Johan Fabry, Éric Tanter

Proceedings of the 9th ACM Dynamic Languages Symposium (DLS 2013), pp.27-36, Indianapolis, IN, USA, October 2013, ACM Press

ACM SIGPLAN Notices , 49(2)

[bib, doi, pdf]

How (and Why) Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk

Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger

Empirical Software Engineering, volume 18, number 6, pp.1156-1194, December 2013, Springer-Verlag

[bib, doi, pdf]

Modular and Flexible Causality Control on the Web

Paul Leger, Éric Tanter, Rémi Douence

Science of Computer Programming, volume 78, number 9, pp.1538-1558, September 2013, Elsevier

[bib, doi, pdf]

Programming with Ghosts

Oscar Callaú, Éric Tanter

IEEE Software, volume 30, number 1, pp.74-80, 2013, IEEE Computer Society Press

[bib, doi, pdf]

Secure and Modular Access Control with Aspects

Rodolfo Toledo, Éric Tanter

Proceedings of the 12th International Conference on Aspect-Oriented Software Development (AOSD 2013), pp.157-170, Fukuoka, Japan, March 2013, ACM Press

[bib, doi]

Transactions on Aspect-Oriented Software Development X

Gary T Leavens, Shigeru Chiba, Éric Tanter

Transactions on Aspect-Oriented Software Development X, volume 7800, 2013, Springer-Verlag

[bib, doi, pdf]

Taming Aspects

Éric Tanter

Proceedings of the 4th International Workshop on Variability and Composition (VariComp 2013)---Keynote abstract, pp.19, 2013

[bib, pdf]

Tipos: Garantías a Medida

Éric Tanter

Revista BITS de Ciencia, number 9, pp.38-45, 2013, DCC, Universidad de Chile

[bib, doi, pdf]

Taming Aspects with Monads and Membranes

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013), pp.1-6, Fukuoka, Japan, March 2013, ACM Press

2012

[bib, doi, pdf]

Aspectizing Java Access Control

Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé

IEEE Transactions on Software Engineering, volume 38, number 1, pp.101-117, Jan./Feb. 2012, IEEE Computer Society Press

[bib, doi, pdf]

An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented Software

Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik

Proceedings of the 27th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2012), pp.683-702, Tucson, AZ, USA, October 2012, ACM Press

[bib, doi, pdf]

A Self-Replication Algorithm to Flexibly Match Execution Traces

Paul Leger, Éric Tanter

Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012), pp.27-32, Potsdam, Germany, March 2012, ACM Press

[bib, doi, pdf]

A Practical Monadic Aspect Weaver

Ismael Figueroa, Éric Tanter, Nicolas Tabareau

Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012), pp.21-26, Potsdam, Germany, March 2012, ACM Press

[bib, doi, pdf]

Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study

Sebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik

Proceedings of 20th IEEE International Conference on Program Comprehension (ICPC 2012), pp.153-162, 2012, IEEE Computer Society Press

Superseded by EMSE 2014

[bib, doi, pdf]

Extensions during Software Evolution: Do Objects Meet Their Promise?

Romain Robbes, David Röthlisberger, Éric Tanter

Proceedings of the 26th European Conference on Object-oriented Programming (ECOOP 2012), volume 7313, pp.28-52, Beijing, China, June 2012, Springer-Verlag

Superseded by EMSE 2014

[bib, doi]

Proceedings of the 11th International Conference on Aspect-Oriented Software Development (AOSD 2012)

Éric Tanter, Kevin J Sullivan

Proceedings of the 11th International Conference on Aspect-Oriented Software Development (AOSD 2012), Potsdam, Germany, March 2012, ACM Press

[bib, pdf]

Safe and Practical Decoupling of Aspects with Join Point Interfaces

Eric Bodden, Éric Tanter, Milton Inostroza

number TUD-CS-2012-0106, May 2012, Technical University of Darmstadt

Superseded by TOSEM 2014

[bib, doi, pdf]

Taming Aspects with Membranes

Éric Tanter, Nicolas Tabareau, Rémi Douence

Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012), pp.3-8, Potsdam, Germany, March 2012, ACM Press

2011

[bib, doi, pdf]

Access Control in JavaScript

Rodolfo Toledo, Éric Tanter

IEEE Software, volume 28, number 5, pp.76-84, Sept./Oct. 2011, IEEE Computer Society Press

[bib, doi, pdf]

Ambient Contracts---Verifying and Enforcing Ambient Object Composition à la Carte

Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt

Personal and Ubiquitous Computing, volume 15, number 4, pp.341-351, 2011, Springer-Verlag

[bib, doi, pdf]

A Semantics for Execution Levels with Exceptions

Ismael Figueroa, Éric Tanter

Proceedings of the 10th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2011), pp.7-11, Porto de Galinhas, Brazil, March 2011, ACM Press

[bib, pdf]

Computational contracts

Christophe Scholliers, Éric Tanter, Wolfgang De Meuter

Scheme and Functional Programming workshop, 2011

Superseded by SCP 2013

[bib, pdf]

Exploring Membranes for Controlling Aspects

Éric Tanter, Nicolas Tabareau, Rémi Douence

number TR/DCC-2011-8, June 2011, University of Chile

[bib]

Estrategias Cognitivas para el Calculo Mental

Grecia Gálvez, Diego Cosmelli, Lino Cubillos, Paul Leger, Arturo Mena, Éric Tanter, Ximena Flores, Gina Luci, Soledad Montoya, Jorge Soto Andrade

Revista Latinoamericana de Investigación en Matemática Educativa, volume 14, number 1, pp.9-40, March 2011, Clame

[bib, doi, pdf]

First-Class State Change in Plaid

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter

Proceedings of the 26th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2011), pp.713-732, Portland, Oregon, USA, October 2011, ACM Press

[bib, doi, pdf]

Gradual Typestate

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich

Proceedings of the 25th European Conference on Object-oriented Programming (ECOOP 2011), volume 6813, pp.459-483, Lancaster, UK, July 2011, Springer-Verlag

[bib]

Higher-Order Contracts for Actor-Based Languages

Christophe Scholliers, Wolfgang De Meuter, Éric Tanter

Proceedings of the AGERE! (Actors and aGEnts REloaded) workshop, held at SPLASH 2011, Portland, USA, October 2011

[bib, doi, pdf]

How Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk

Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger

Proceedings of the 8th Working Conference on Mining Software Repositories (MSR 2011), pp.23-32, Honolulu, Hawaii, USA, May 2011, ACM Press

Best Paper Award. Superseded by EMSE 2013

[bib, doi, pdf]

Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs

Milton Inostroza, Éric Tanter, Eric Bodden

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

[bib, doi, pdf]

Polymorphic Bytecode Instrumentation

Philippe Moret, Walter Binder, Éric Tanter

Proceedings of the 10th ACM International Conference on Aspect-Oriented Software Development (AOSD 2011), pp.129-140, Porto de Galinhas, Brazil, March 2011, ACM Press

[bib, doi, pdf]

Permission-Based Programming Languages

Jonathan Aldrich, Ronald Garcia, Mark Hannenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the 33rd ACM/IEEE International Conference on Software Engineering (ICSE 2011), New Ideas and Emerging Results track, pp.828-831, Honolulu, Hawaii, USA, May 2011, ACM Press

[bib, pdf]

Secure and Modular Access Control with Aspects

Rodolfo Toledo, Éric Tanter

number TR/DCC-2011-7, May 2011, University of Chile

Superseded by AOSD 2013

[bib, doi, pdf]

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging

Guillaume Pothier, Éric Tanter

Proceedings of the 25th European Conference on Object-oriented Programming (ECOOP 2011), volume 6813, pp.558-582, Lancaster, UK, July 2011, Springer-Verlag

[bib, doi, pdf]

Towards a Domain-Specific Aspect Language for Dynamic Program Analysis

Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, Éric Tanter

Proceedings of the 6th workshop on Domain-Specific Aspect Languages (DSAL 2011), pp.9-11, Porto de Galinhas, Brazil, March 2011, ACM Press

2010

[bib, doi, pdf]

AspectScript: Expressive Aspects for the Web

Rodolfo Toledo, Paul Leger, Éric Tanter

Proceedings of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010), pp.13-24, Rennes and Saint Malo, France, March 2010, ACM Press

[bib, pdf]

An Open Trace-Based Mechanism

Paul Leger, Éric Tanter

Proceedings of the 14th Brazilian Symposium on Programming Languages (SBLP 2010), pp.123-138, Salvador - Bahia, Brazil, September 2010, SBC

[bib, doi, pdf]

Composition of Dynamic Analysis Aspects

Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni

Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE 2010), pp.113-122, Eindhoven, The Netherlands, October 2010, ACM Press

[bib, doi, pdf]

Execution Levels for Aspect-Oriented Programming

Éric Tanter

Proceedings of the 9th ACM International Conference on Aspect-Oriented Software Development (AOSD 2010), pp.37-48, Rennes and Saint Malo, France, March 2010, ACM Press

Best Paper Award. Superseded by SCP 2014

[bib, pdf]

Featherweight Typestate

Ronald Garcia, Roger Wolff, Éric Tanter, Jonathan Aldrich

number CMU-ISR-10-115, July 2010, Carnegie Mellon University

[bib, pdf]

Gradual Featherweight Typestate

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich

number CMU-ISR-10-116, July 2010, Carnegie Mellon University

[bib, doi, pdf]

Modular Composition and State Update in Plaid

Jonathan Aldrich, Karl Naden, Éric Tanter

Proceedings of the 4th Workshop on Mechanisms for Specialization, Generalization and Inheritance (MASPEGHI 2010), Maribor, Slovenia, June 2010, ACM Press

[bib]

Parallel Actor Monitors

Christophe Scholliers, Éric Tanter, Wolfgang De Meuter

Proceedings of the 14th Brazilian Symposium on Programming Languages (SBLP 2010), pp.83-96, Salvador - Bahia, Brazil, September 2010, SBC

Superseded by SCP 2014

[bib, doi]

Scoping Strategies for Distributed Aspects

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Science of Computer Programming, volume 75, number 12, pp.1235-1261, December 2010, Elsevier

[bib, pdf]

Towards An Open Trace-Baced Mechanism

Paul Leger, Éric Tanter

Proceedings of the Ninth Workshop on Foundations of Aspect-Oriented Languages (FOAL 2010), pp.25-30, Rennes and Saint Malo, France, March 2010, University of Central Florida

2009

[bib, doi, pdf]

Beyond Static and Dynamic Scope

Éric Tanter

Proceedings of the 5th ACM Dynamic Languages Symposium (DLS 2009), pp.3-14, Orlando, FL, USA, October 2009, ACM Press

[bib, doi, pdf]

Back to the Future: Omniscient Debugging

Guillaume Pothier, Éric Tanter

IEEE Software, volume 26, number 6, pp.78-95, November-December 2009, IEEE Computer Society Press

[bib, doi, pdf]

Expressive Scoping of Distributed Aspects

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development (AOSD 2009), pp.27-38, Charlottesville, Virginia, USA, March 2009, ACM Press

Superseded by SCP 2010

[bib]

Higher-Order Aspects in Order

Éric Tanter

Scheme and Functional Programming Workshop, Boston, MA, USA, August 2009

[bib, doi, pdf]

How should context-escaping closures proceed?

Dave Clarke, Pascal Costanza, Éric Tanter

Workshop on Context-Oriented Programming, Genova, Italy, July 2009

[bib, doi, pdf]

Infrastructure for Domain-Specific Aspect Languages: the ReLAx case study

Johan Fabry, Éric Tanter, Theo D'Hondt

IET Software, volume 3, number 3, pp.238-254, June 2009

[bib, doi, pdf]

Mirror-based Reflection in AmbientTalk

Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Elisa Gonzalez Boix, Éric Tanter, Wolfgang De Meuter

Software---Practice and Experience, volume 39, number 7, pp.661-699, May 2009, Wiley & Sons

[bib, doi]

Proceedings of the 4th workshop on Domain-Specific Aspect Languages

Thomas Cleenewerck, Johan Fabry, Anne-Francoise Lemeur, Jacques Noyé, Éric Tanter

Proceedings of the 4th workshop on Domain-Specific Aspect Languages, Charlottesville, VA, USA, March 2009, ACM Press

[bib, doi, pdf]

Resilient Actors: A Runtime Partitioning Model for Pervasive Computing Services

Engineer Bainomugisha, Jorge Vallejos, Éric Tanter, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt

Proceedings of the ACM International Conference on Pervasive Services (ICPS 2009), London, UK, July 2009, ACM Press

[bib, doi, pdf]

Supporting Composition of Structural Aspects in an AOP Kernel

Éric Tanter, Johan Fabry

Journal of Universal Computer Science, volume 15, number 3, pp.620-647, 2009

2008

[bib, doi, pdf]

A Lightweight and Extensible AspectJ Implementation

Rodolfo Toledo, Éric Tanter

Journal of Universal Computer Science, volume 14, number 21, pp.3517-3533, 2008

[bib, doi, pdf]

Controlling Aspect Reentrancy

Éric Tanter

Journal of Universal Computer Science, volume 14, number 21, pp.3498-3516, 2008

Best Paper Award of the Brazilian Symposium on Programming Languages (SBLP 2008)

[bib, doi, pdf]

Contextual Values

Éric Tanter

Proceedings of the 4th ACM Dynamic Languages Symposium (DLS 2008), Paphos, Cyprus, July 2008, ACM Press

[bib, doi, pdf]

Expressive Scoping of Dynamically-Deployed Aspects

Éric Tanter

Proceedings of the 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008), pp.168-179, Brussels, Belgium, April 2008, ACM Press

[bib, doi, pdf]

Experimenting with Language Support for Proximity in Ambient-Oriented Programming

Victor Ramiro, Jessie Dedecker, Éric Tanter, Peter Barron

Engineering Environment-Mediated Multi-Agent Systems (EEMMAS 2007), volume 5049, pp.259-283, 2008, Springer-Verlag

[bib, doi, pdf]

Extending Omniscient Debugging to Support Aspect-Oriented Programming

Guillaume Pothier, Éric Tanter

Proceedings of the 23rd ACM Symposium on Applied Computing (SAC 2008), volume 1, pp.266-270, Fortaleza, Ceará, Brazil, March 2008

[bib, doi, pdf]

Flexible Metaprogramming and AOP in Java

Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé

Science of Computer Programming, volume 72, number 1-2, pp.22-30, June 2008, Elsevier

Special Issue on Experimental Software and Toolkits

[bib, doi, pdf]

KALA: Kernel Aspect Language for Advanced Transactions

Johan Fabry, Éric Tanter, Theo D'Hondt

Science of Computer Programming, volume 71, number 3, pp.165-180, May 2008, Elsevier

[bib, pdf]

Object Technology for Ambient Intelligence and Pervasive Computing

Jessie Dedecker, Éric Tanter, Holger Mügge, Cristina Videira Lopes, Pascal Cherrier

Object-Oriented Technology, ECOOP 2007 Workshop Reader, volume 4906, pp.171-181, 2008, Springer-Verlag

[bib, doi, pdf]

Proceedings of the 7th International Symposium on Software Composition (SC 2008)

Cesare Pautasso, Éric Tanter

Proceedings of the 7th International Symposium on Software Composition (SC 2008), volume 4954, Budapest, Hungary, March 2008, Springer-Verlag

[bib, doi, pdf]

Parallel Object Monitors

Denis Caromel, Luis Mateu, Guillaume Pothier, Éric Tanter

Concurrency and Computation---Practice and Experience, volume 20, number 12, pp.1387-1417, August 2008, Wiley & Sons

[bib, doi, pdf]

Summary of the 3rd workshop on Domain-Specific Aspect Languages

Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Francoise Lemeur, Éric Tanter

Summary of the 3rd workshop on Domain-Specific Aspect Languages, Brussels, Belgium, April 2008, ACM Press

[bib, doi, pdf]

Towards Resilient Partitioning of Pervasive Computing Services

Jorge Vallejos, Elisa Gonzalez Boix, Engineer Bainomugisha, Pascal Costanza, Wolfgang De Meuter, Éric Tanter

Proceedings of the 3rd Workshop on Software Engineering for Pervasive Services (SEPS 2008), pp.15-20, Sorento, Italy, July 2008, ACM Press

[bib, doi, pdf]

Unanticipated Partial Behavioral Reflection: Adapting Applications at Runtime

David Röthlisberger, Marcus Denker, Éric Tanter

Journal of Computer Languages, Systems and Structures, volume 34, number 2-3, pp.46-65, July-October 2008, Elsevier

2007

[bib, doi, pdf]

Mirages: Behavioral Intercession in a Mirror-based Architecture

Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter

Proceedings of the ACM Dynamic Languages Symposium (DLS 2007), pp.89-100, Montreal, Canada, October 2007, ACM Press

Superseded by SPE 2009

[bib, doi, pdf]

On Dynamically-Scoped Crosscutting Mechanisms

Éric Tanter

ACM SIGPLAN Notices, volume 42, number 2, pp.27-33, February 2007, ACM Press

[bib, pdf]

Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures

Holger Mügge, Pascal Cherrier, Wolfgang De Meuter, Éric Tanter

Object-Oriented Technology, ECOOP 2006 Workshop Reader, volume 4379, pp.130-140, 2007, Springer-Verlag

[bib]

Proceedings of the XXVI International Conference of the Chilean Computer Science Society

Hernán Astudillo, Éric Tanter

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)

Holger Mügge, Éric Tanter, Pascal Cherrier, Jessie Dedecker, Christina Lopes, Michael Cebulla

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 Universität Berlin

[bib, pdf]

Programming Paradigms and Mind Metaphors: Convergence and Cross-Fertilization in the Study of Cognition

Diego Cosmelli, Jorge Soto-Andrade, Éric Tanter

Biological Research, volume 40, number 4, pp.503-515, 2007

[bib, pdf]

Proximity is in the Eye of the Beholder

Peter Barron, Jessie Dedecker, Éric Tanter

Proceedings of the 3rd ECOOP workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4AmI 2007), pp.1-6, Berlin, Germany, July 2007, Technical Report 2007-12, Technische Universität Berlin

[bib, doi, pdf]

ReLAx: Implementing KALA over the Reflex AOP Kernel

Johan Fabry, Éric Tanter, Theo D'Hondt

Summary of the 2nd workshop on Domain-Specific Aspect Languages, Vancouver, Canada, March 2007, ACM Press

Superseded by IET Software 2009

[bib, doi, pdf]

Scalable Omniscient Debugging

Guillaume Pothier, Éric Tanter, José Piquer

Proceedings of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2007), pp.535-552, Montreal, Canada, October 2007, ACM Press

ACM SIGPLAN Notices , 42(10)

[bib, pdf]

Summary of the 2nd workshop on Domain-Specific Aspect Languages

Johan Fabry, Damijan Rebernak, Thomas Cleenewerck, Anne-Francoise Lemeur, Jacques Noyé, Éric Tanter

Summary of the 2nd workshop on Domain-Specific Aspect Languages, Vancouver, Canada, March 2007, ACM Press

[bib, pdf]

Unanticipated Partial Behavioral Reflection

David Röthlisberger, Marcus Denker, Éric Tanter

Advances in Smalltalk --- Proceedings of 14th International Smalltalk Conference (ISC 2006), volume 4406, pp.47-65, 2007, Springer-Verlag

Superseded by CLSS 2008

2006

[bib, pdf]

A Versatile Kernel for Distributed AOP

Éric Tanter, Rodolfo Toledo

Proceedings of the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2006), volume 4025, pp.316-331, Bologna, Italy, June 2006, Springer-Verlag

Best Paper Award of the three DisCoTec 2006 Conferences

[bib, pdf]

Aspects of Composition in the Reflex AOP Kernel

Éric Tanter

Proceedings of the 5th International Symposium on Software Composition (SC 2006), volume 4089, pp.98-113, Vienna, Austria, March 2006, Springer-Verlag

[bib, pdf]

An Extensible Kernel Language for AOP

Éric Tanter

Proceedings of AOSD Workshop on Open and Dynamic Aspect Languages, Bonn, Germany, 2006

[bib, pdf]

Analyzing Interactions of Structural Aspects

Benoit Kessler, Éric Tanter

Proceedings of ECOOP Workshop on Aspects, Dependencies and Interactions, Nantes, France, July 2006

[bib, pdf]

Context-Aware Aspects

Éric Tanter, Kris Gybels, Marcus Denker, Alexandre Bergel

Proceedings of the 5th International Symposium on Software Composition (SC 2006), volume 4089, pp.227-242, Vienna, Austria, March 2006, Springer-Verlag

[bib]

Declarative composition of structural aspects

Éric Tanter

number TR/DCC-2006-11, November 2006, University of Chile

Superseded by JUCS 2009

[bib, pdf]

Design of a Multi-level Reflective Architecture for Ambient Actors

Dieter Standaert, Éric Tanter, Tom Van Cutsem

Proceedings of ECOOP Workshop on Object Technology for Ambient Intelligence and Pervasive Computing, Nantes, France, July 2006

[bib, doi, pdf]

Declarative, Formal, and Extensible Syntax Definition for AspectJ -- A Case for Scannerless Generalized-LR Parsing

Martin Bravenboer, Éric Tanter, Eelco Visser

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)

[bib, doi, pdf]

On Dynamically-Scoped Crosscutting Mechanisms

Éric Tanter

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

[bib, doi, pdf]

Runtime Bytecode Transformation for Smalltalk

Marcus Denker, Stéphane Ducasse, Éric Tanter

Journal of Computer Languages, Systems and Structures, volume 32, number 2-3, pp.125-139, July 2006, Elsevier

[bib, pdf]

Using ReflexD for a Grid solution to the N-Queens Problem

Rodolfo Toledo, Éric Tanter, José Piquer, Denis Caromel, Mario Leyton

Proceedings of the CoreGRID Integration Workshop, pp.37-48, Cracow, Poland, October 2006

2005

[bib, pdf]

A Versatile Kernel for Multi-Language AOP

Éric Tanter, Jacques Noyé

Proceedings of the 4th ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2005), volume 3676, pp.173-188, Tallinn, Estonia, September 2005, Springer-Verlag

[bib, doi, pdf]

Flexible Object Encapsulation for Ambient-Oriented Programming

Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker

Proceedings of the ACM Dynamic Languages Symposium (DLS 2005), San Diego, CA, USA, October 2005

[bib, pdf]

La réflexion comportementale partielle comme infrastructure de programmation par aspects - Étude du cas des coupes dynamiques

Leonardo Rodríguez, Éric Tanter, Jacques Noyé

RSTI L'Objet, Programmation par aspects, pp.31-52, November 2005

[bib, pdf]

Mirror Methods --- Reconciling Reflection and Extreme Encapsulation

Éric Tanter

ECOOP Workshop on Object Technology for Ambient Intelligence, Glasgow, UK, July 2005

[bib, pdf]

Metalevel Facilities for Multi-Language AOP

Éric Tanter

2nd European Interactive Workshop on Aspects in Software (EIWAS 2005), Brussels, Belgium, September 2005

[bib, pdf]

Runtime Bytecode Manipulation in Smalltalk

Marcus Denker, Stéphane Ducasse, Éric Tanter

European Smalltalk User Group Research Conference, 2005

Superseded by CLSS 2006

2004

[bib]

A Concern-based Approach to Software Evolution

Peter Ebraert, Éric Tanter

Proceedings of the AOSD Workshop on Dynamic Aspects (DAW 2004), Lancaster, UK, March 2004

[bib, pdf]

From Metaobject Protocols to Versatile Kernels for Aspect-Oriented Programming

Éric Tanter

November 2004, University of Nantes and University of Chile, (PhD Thesis)

[bib, pdf]

Motivation and Requirements for a Versatile AOP Kernel

Éric Tanter, Jacques Noyé

1st European Interactive Workshop on Aspects in Software (EIWAS 2004), Berlin, Germany, September 2004

[bib, pdf]

Sequential Object Monitors

Denis Caromel, Luis Mateu, Éric Tanter

Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP 2004), number 3086, pp.316-340, Oslo, Norway, June 2004, Springer-Verlag

[bib, pdf]

Supporting Dynamic Crosscutting with Partial Behavioral Reflection: a Case Study

Leonardo Rodríguez, Éric Tanter, Jacques Noyé

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), pp.48-58, Arica, Chile, November 2004, IEEE Computer Society Press

2003

[bib, pdf]

A Flexible Approach to Interactive Runtime Inspection

Éric Tanter, Peter Ebraert

Proceedings of the ECOOP Workshop on Advancing the State-of-the-Art in Runtime Inspection, Darmstadt, Germany, July 2003

[bib, doi, pdf]

Partial Behavioral Reflection: Spatial and Temporal Selection of Reification

Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe

Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003), pp.27-46, Anaheim, CA, USA, October 2003, ACM Press

ACM SIGPLAN Notices , 38(11)

2002

[bib, pdf]

Altering Java Semantics via Bytecode Manipulation

Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José Piquer

Proceedings of the 1st ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2002), volume 2487, pp.283-298, Pittsburgh, PA, USA, October 2002, Springer-Verlag

[bib, pdf]

Runtime Metaobject Protocols: the Quest for their Holy Application

Éric Tanter

12th ECOOP Workshop of PhD Students in Object-Oriented Systems (PhDOOS 2002), Málaga, Spain, June 2002

[bib, pdf]

Towards Transparent Adaptation of Migration Policies

Éric Tanter, Michaël Vernaillen, José Piquer

8th ECOOP Workshop on Mobile Object Systems (EWMOS 2002), Málaga, Spain, June 2002

2001

[bib, pdf]

Managing References upon Object Migration: Applying Separation of Concerns

Éric Tanter, José Piquer

Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), pp.264-272, Punta Arenas, Chile, November 2001, IEEE Computer Society Press

[bib, pdf]

Reflex : une extension réflexive de Java portable, souple et performante

Éric Tanter, Noury Bouraqadi, Jacques Noyé

Proceedings of Languages et Modèles à Objets (LMO 2001), volume 7, number 1-2, pp.165-180, 2001, Hermes

[bib, pdf]

Reflex -- Towards an Open Reflective Extension of Java

Éric Tanter, Noury Bouraqadi, Jacques Noyé

Proceedings of the 3rd International Conference on Metalevel Architectures and Advanced Separation of Concerns (Reflection 2001), volume 2192, pp.25-43, Kyoto, Japan, September 2001, Springer-Verlag

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)
A Note on Scope
A Note on Recursion
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)

Éric Tanter

News

Academic Activities

Publications

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

Other material