Reflex - Towards an Open Reflective Extension of Java. - Éric Tanter; Noury M. N. Bouraqadi-Saâdani; Jacques Noyé (Reflection, 2001)

Managing references upon object migration: applying separation of concerns. - Éric Tanter; José M. Piquer (SCCC, 2001)

Altering Java Semantics via Bytecode Manipulation. - Éric Tanter; Marc Ségura-Devillechaise; Jacques Noyé; José M. Piquer (GPCE, 2002)

Partial behavioral reflection: spatial and temporal selection of reification. - Éric Tanter; Jacques Noyé; Denis Caromel; Pierre Cointe (OOPSLA, 2003)

Sequential Object Monitors. - Denis Caromel; Luis Mateu; Éric Tanter (ECOOP, 2004)

Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study. - Leonardo Rodríguez; Éric Tanter; Jacques Noyé (SCCC, 2004)

Flexible object encapsulation for ambient-oriented programming. - Wolfgang De Meuter; Éric Tanter; Stijn Mostinckx; Tom Van Cutsem; Jessie Dedecker (DLS, 2005)

A Versatile Kernel for Multi-language AOP. - Éric Tanter; Jacques Noyé (GPCE, 2005)

La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques. - Leonardo Rodríguez; Éric Tanter; Jacques Noyé (Obj. Logiciel Base données Réseaux, 2005)

A Versatile Kernel for Distributed AOP. - Éric Tanter; Rodolfo Toledo (DAIS, 2006)

Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures. - Holger Mügge; Pascal Cherrier; Wolfgang De Meuter; Éric Tanter (ECOOP Workshops, 2006)

Declarative, formal, and extensible syntax definition for aspectJ. - Martin Bravenboer; Éric Tanter; Eelco Visser (OOPSLA, 2006)

Unanticipated Partial Behavioral Reflection. - David Röthlisberger; Marcus Denker; Éric Tanter (ISC, 2006)

Aspects of Composition in the Reflex AOP Kernel. - Éric Tanter (SC@ETAPS, 2006)

Context-Aware Aspects. - Éric Tanter; Kris Gybels; Marcus Denker; Alexandre Bergel (SC@ETAPS, 2006)

Runtime bytecode transformation for Smalltalk. - Marcus Denker; Stéphane Ducasse; Éric Tanter (Comput. Lang. Syst. Struct., 2006)

ReLAx: implementing KALA over the reflex AOP kernel. - Johan Fabry; Éric Tanter; Theo D'Hondt (DSAL@AOSD, 2007)

Mirages: behavioral intercession in a mirror-based architecture. - Stijn Mostinckx; Tom Van Cutsem; Stijn Timbermont; Éric Tanter (DLS, 2007)

Object Technology for Ambient Intelligence and Pervasive Computing. - Jessie Dedecker; Éric Tanter; Holger Mügge; Cristina Videira Lopes (ECOOP Workshops, 2007)

Experimenting with Language Support for Proximity in Ambient-Oriented Programming. - Victor Ramiro; Jessie Dedecker; Éric Tanter; Peter Barron (EEMMAS, 2007)

Scalable omniscient debugging. - Guillaume Pothier; Éric Tanter; José M. Piquer (OOPSLA, 2007)

On dynamically-scoped crosscutting mechanisms. - Éric Tanter (ACM SIGPLAN Notices, 2007)

Summary of the third workshop on Domain-Specific Aspect Languages. - Thomas Cleenewerck; Jacques Noyé; Johan Fabry; Anne-Françoise Lemeur; Éric Tanter (DSAL@AOSD, 2008)

Expressive scoping of dynamically-deployed aspects. - Éric Tanter (AOSD, 2008)

Contextual values. - Éric Tanter (DLS, 2008)

Extending omniscient debugging to support aspect-oriented programming. - Guillaume Pothier; Éric Tanter (SAC, 2008)

Unanticipated partial behavioral reflection: Adapting applications at runtime. - David Röthlisberger; Marcus Denker; Éric Tanter (Comput. Lang. Syst. Struct., 2008)

Parallel object monitors. - Denis Caromel; Luis Mateu; Guillaume Pothier; Éric Tanter (Concurr. Comput. Pract. Exp., 2008)

Controlling Aspect Reentrancy. - Éric Tanter (J. Univers. Comput. Sci., 2008)

A Lightweight and Extensible AspectJ Implementation. - Rodolfo Toledo; Éric Tanter (J. Univers. Comput. Sci., 2008)

KALA: Kernel aspect language for advanced transactions. - Johan Fabry; Éric Tanter; Theo D'Hondt (Sci. Comput. Program., 2008)

Flexible metaprogramming and AOP in Java. - Éric Tanter; Rodolfo Toledo; Guillaume Pothier; Jacques Noyé (Sci. Comput. Program., 2008)

Expressive scoping of distributed aspects. - Éric Tanter; Johan Fabry; Rémi Douence; Jacques Noyé; Mario Südholt (AOSD, 2009)

Beyond static and dynamic scope. - Éric Tanter (DLS, 2009)

How should context-escaping closures proceed? - Dave Clarke 001; Pascal Costanza; Éric Tanter (COP@ECOOP, 2009)

Resilient actors: a runtime partitioning model for pervasive computing services. - Engineer Bainomugisha; Jorge Vallejos; Éric Tanter; Elisa Gonzalez Boix; Pascal Costanza; Wolfgang De Meuter; Theo D'Hondt (ICPS, 2009)

Infrastructure for domain-specific aspect languages: the relax case study. - Johan Fabry; Éric Tanter; Theo D'Hondt (IET Softw., 2009)

Supporting Composition of Structural Aspects in an AOP Kernel. - Éric Tanter; Johan Fabry (J. Univers. Comput. Sci., 2009)

Back to the Future: Omniscient Debugging. - Guillaume Pothier; Éric Tanter (IEEE Softw., 2009)

Mirror-based reflection in AmbientTalk. - Stijn Mostinckx; Tom Van Cutsem; Stijn Timbermont; Elisa Gonzalez Boix; Éric Tanter; Wolfgang De Meuter (Softw. Pract. Exp., 2009)

Execution levels for aspect-oriented programming. - Éric Tanter (AOSD, 2010)

AspectScript: expressive aspects for the web. - Rodolfo Toledo; Paul Leger; Éric Tanter (AOSD, 2010)

Composition of dynamic analysis aspects. - Éric Tanter; Philippe Moret; Walter Binder; Danilo Ansaloni (GPCE, 2010)

Scoping strategies for distributed aspects. - Éric Tanter; Johan Fabry; Rémi Douence; Jacques Noyé; Mario Südholt (Sci. Comput. Program., 2010)

Towards a domain-specific aspect language for dynamic program analysis: position paper. - Walter Binder; Philippe Moret; Danilo Ansaloni; Aibek Sarimbekov; Akira Yokokawa; Éric Tanter (DSAL@AOSD, 2011)

Polymorphic bytecode instrumentation. - Philippe Moret; Walter Binder; Éric Tanter (AOSD, 2011)

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. - Guillaume Pothier; Éric Tanter (ECOOP, 2011)

Gradual Typestate. - Roger Wolff; Ronald Garcia; Éric Tanter; Jonathan Aldrich (ECOOP, 2011)

A semantics for execution levels with exceptions. - Ismael Figueroa; Éric Tanter (FOAL, 2011)

Permission-based programming languages. - Jonathan Aldrich; Ronald Garcia; Mark Hahnenberg; Manuel Mohr; Karl Naden; Darpan Saini; Sven Stork; Joshua Sunshine; Éric Tanter; Roger Wolff (ICSE, 2011)

How developers use the dynamic features of programming languages: the case of smalltalk. - Oscar Callaú; Romain Robbes; Éric Tanter; David Röthlisberger (MSR, 2011)

Plaid: a permission-based programming language. - Jonathan Aldrich; Robert Bocchino; Ronald Garcia; Mark Hahnenberg; Manuel Mohr; Karl Naden; Darpan Saini; Sven Stork; Joshua Sunshine; Éric Tanter; Roger Wolff (OOPSLA Companion, 2011)

First-class state change in plaid. - Joshua Sunshine; Karl Naden; Sven Stork; Jonathan Aldrich; Éric Tanter (OOPSLA, 2011)

Join point interfaces for modular reasoning in aspect-oriented programs. - Milton Inostroza; Éric Tanter; Eric Bodden (SIGSOFT FSE, 2011)

Ambient contracts: verifying and enforcing ambient object compositions à la carte. - Christophe Scholliers; Dries Harnie; Éric Tanter; Wolfgang De Meuter; Theo D'Hondt (Pers. Ubiquitous Comput., 2011)

Access Control in JavaScript. - Rodolfo Toledo; Éric Tanter (IEEE Softw., 2011)

Extensions during Software Evolution: Do Objects Meet Their Promise? - Romain Robbes; David Röthlisberger; Éric Tanter (ECOOP, 2012)

A practical monadic aspect weaver. - Ismael Figueroa; Éric Tanter; Nicolas Tabareau (FOAL, 2012)

A self-replication algorithm to flexibly match execution traces. - Paul Leger; Éric Tanter (FOAL, 2012)

Taming aspects with membranes. - Éric Tanter; Nicolas Tabareau; Rémi Douence (FOAL, 2012)

Do static type systems improve the maintainability of software systems? An empirical study. - Sebastian Kleinschmager; Stefan Hanenberg; Romain Robbes; Éric Tanter; Andreas Stefik (ICPC, 2012)

An empirical study of the influence of static type systems on the usability of undocumented software. - Clemens Mayer; Stefan Hanenberg; Romain Robbes; Éric Tanter; Andreas Stefik (OOPSLA, 2012)

Aspectizing Java Access Control. - Rodolfo Toledo; Angel Núñez; Éric Tanter; Jacques Noyé (IEEE Trans. Software Eng., 2012)

A brief tour of join point interfaces. - Eric Bodden; Éric Tanter; Milton Inostroza (AOSD (Companion), 2013)

A typed monadic embedding of aspects. - Nicolas Tabareau; Ismael Figueroa; Éric Tanter (AOSD, 2013)

Taming aspects. - Éric Tanter (VariComp@AOSD, 2013)

Secure and modular access control with aspects. - Rodolfo Toledo; Éric Tanter (AOSD, 2013)

Cast insertion strategies for gradually-typed objects. - Esteban Allende; Johan Fabry; Éric Tanter (DLS, 2013)

Taming aspects with monads and membranes. - Ismael Figueroa; Nicolas Tabareau; Éric Tanter (FOAL, 2013)

How (and why) developers use the dynamic features of programming languages: the case of smalltalk. - Oscar Callaú; Romain Robbes; Éric Tanter; David Röthlisberger (Empir. Softw. Eng., 2013)

Modular and flexible causality control on the Web. - Paul Leger; Éric Tanter; Rémi Douence (Sci. Comput. Program., 2013)

Programming with Ghosts. - Oscar Callaú; Éric Tanter (IEEE Softw., 2013)

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. - Ismael Figueroa; Nicolas Tabareau; Éric Tanter (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Compositional reasoning about aspect interference. - Ismael Figueroa; Tom Schrijvers; Nicolas Tabareau; Éric Tanter (MODULARITY, 2014)

Aspectual session types. - Nicolas Tabareau; Mario Südholt; Éric Tanter (MODULARITY, 2014)

On the use of type predicates in object-oriented software: the case of Smalltalk. - Oscar Callaú; Romain Robbes; Éric Tanter; David Röthlisberger; Alexandre Bergel (DLS, 2014)

A theory of gradual effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (ICFP, 2014)

Confined gradual typing. - Esteban Allende; Johan Fabry; Ronald Garcia; Éric Tanter (OOPSLA, 2014)

Effect Capabilities for Haskell. - Ismael Figueroa; Nicolas Tabareau; Éric Tanter (SBLP, 2014)

An empirical study on the impact of static typing on software maintainability. - Stefan Hanenberg; Sebastian Kleinschmager; Romain Robbes; Éric Tanter; Andreas Stefik (Empir. Softw. Eng., 2014)

Gradual typing for Smalltalk. - Esteban Allende; Oscar Callaú; Johan Fabry; Éric Tanter; Marcus Denker (Sci. Comput. Program., 2014)

Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model. - Christophe Scholliers; Éric Tanter; Wolfgang De Meuter (Sci. Comput. Program., 2014)

Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. - Éric Tanter; Ismael Figueroa; Nicolas Tabareau (Sci. Comput. Program., 2014)

Foundations of Typestate-Oriented Programming. - Ronald Garcia; Éric Tanter; Roger Wolff; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2014)

Join point interfaces for safe and flexible decoupling of aspects. - Eric Bodden; Éric Tanter; Milton Inostroza (ACM Trans. Softw. Eng. Methodol., 2014)

Gradual certified programming in Coq. - Éric Tanter; Nicolas Tabareau (DLS, 2015)

Customizable gradual polymorphic effects for Scala. - Matías Toro; Éric Tanter (OOPSLA, 2015)

An empirical study of goto in C code from GitHub repositories. - Meiyappan Nagappan; Romain Robbes; Yasutaka Kamei; Éric Tanter; Shane McIntosh; Audris Mockus; Ahmed E. Hassan (ESEC/SIGSOFT FSE, 2015)

Deriving a Simple Gradual Security Language. - Ronald Garcia; Éric Tanter (CoRR, 2015)

A Taxonomy of Domain-Specific Aspect Languages. - Johan Fabry; Tom Dinkelaker; Jacques Noyé; Éric Tanter (ACM Comput. Surv., 2015)

Object-oriented software extensions in practice. - Romain Robbes; David Röthlisberger; Éric Tanter (Empir. Softw. Eng., 2015)

An empirical study of goto in C code. - Meiyappan Nagappan; Romain Robbes; Yasutaka Kamei; Éric Tanter; Shane McIntosh; Audris Mockus; Ahmed E. Hassan (PeerJ Prepr., 2015)

An expressive stateful aspect language. - Paul Leger; Éric Tanter; Hiroaki Fukuda (Sci. Comput. Program., 2015)

Computational contracts. - Christophe Scholliers; Éric Tanter; Wolfgang De Meuter (Sci. Comput. Program., 2015)

Partial type equivalences for verified dependent interoperability. - Pierre-Évariste Dagand; Nicolas Tabareau; Éric Tanter (ICFP, 2016)

Abstracting gradual typing. - Ronald Garcia; Alison M. Clark; Éric Tanter (POPL, 2016)

Gradual type-and-effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (J. Funct. Program., 2016)

Effect capabilities for Haskell: Taming effect interference in monadic programming. - Ismael Figueroa; Nicolas Tabareau; Éric Tanter (Sci. Comput. Program., 2016)

Polymorphic bytecode instrumentation. - Walter Binder; Philippe Moret; Éric Tanter; Danilo Ansaloni (Softw. Pract. Exp., 2016)

Type Abstraction for Relaxed Noninterference. - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (ECOOP, 2017)

Gradual refinement types. - Nico Lehmann; Éric Tanter (POPL, 2017)

A Gradual Interpretation of Union Types. - Matías Toro; Éric Tanter (SAS, 2017)

Type Abstraction for Relaxed Noninterference (Artifact). - Raimil Cruz; Tamara Rezk; Bernard P. Serpette; Éric Tanter (Dagstuhl Artifacts Ser., 2017)

A trustworthy mechanized formalization of R. - Martin Bodin; Tomás Diaz; Éric Tanter (DLS, 2018)

Gradual Program Verification. - Johannes Bader 001; Jonathan Aldrich; Éric Tanter (VMCAI, 2018)

Foundations of dependent interoperability. - Pierre-Évariste Dagand; Nicolas Tabareau; Éric Tanter (J. Funct. Program., 2018)

Equivalences for free: univalent parametricity for effective transport. - Nicolas Tabareau; Éric Tanter; Matthieu Sozeau (Proc. ACM Program. Lang., 2018)

Gradual liquid type inference. - Niki Vazou; Éric Tanter; David Van Horn (Proc. ACM Program. Lang., 2018)

Type-Driven Gradual Security with References. - Matías Toro; Ronald Garcia; Éric Tanter (ACM Trans. Program. Lang. Syst., 2018)

Existential Types for Relaxed Noninterference. - Raimil Cruz; Éric Tanter (APLAS, 2019)

Polymorphic Relaxed Noninterference. - Raimil Cruz; Éric Tanter (SecDev, 2019)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (CoRR, 2019)

Chemical foundations of distributed aspects. - Nicolas Tabareau; Éric Tanter (Distributed Comput., 2019)

Approximate normalization for gradual dependent types. - Joseph Eremondi; Éric Tanter; Ronald Garcia (Proc. ACM Program. Lang., 2019)

Dijkstra monads for all. - Kenji Maillard; Danel Ahman; Robert Atkey; Guido Martínez; Catalin Hritcu; Exequiel Rivas; Éric Tanter (Proc. ACM Program. Lang., 2019)

A reasonably exceptional type theory. - Pierre-Marie Pédrot; Nicolas Tabareau; Hans Jacob Fehrmann; Éric Tanter (Proc. ACM Program. Lang., 2019)

Gradual parametricity, revisited. - Matías Toro; Elizabeth Labrada; Éric Tanter (Proc. ACM Program. Lang., 2019)

A mechanized formalization of GraphQL. - Tomás Díaz; Federico Olmedo; Éric Tanter (CPP, 2020)

Abstracting Gradual References (SCICO Journal-first). - Matías Toro; Éric Tanter (ECOOP, 2020)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ESOP, 2020)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joe Near; Federico Olmedo; Éric Tanter (CoRR, 2020)

Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. - Éric Tanter (J. Funct. Program., 2020)

Gradual verification of recursive heap data structures. - Jenna Wise; Johannes Bader 001; Cameron Wong; Jonathan Aldrich; Éric Tanter; Joshua Sunshine (Proc. ACM Program. Lang., 2020)

Abstracting gradual references. - Matías Toro; Éric Tanter (Sci. Comput. Program., 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. - Matías Toro; Ronald Garcia; Éric Tanter (ACM Trans. Program. Lang. Syst., 2020)

Gradual Program Analysis for Null Pointers. - Sam Estep; Jenna Wise; Jonathan Aldrich; Éric Tanter; Johannes Bader 001; Joshua Sunshine (ECOOP, 2021)

Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. - Joseph Eremondi; Ronald Garcia; Éric Tanter (CoRR, 2021)

The Multiverse: Logical Modularity for Proof Assistants. - Kenji Maillard; Nicolas Margulies; Matthieu Sozeau; Nicolas Tabareau; Éric Tanter (CoRR, 2021)

The Marriage of Univalence and Parametricity. - Nicolas Tabareau; Éric Tanter; Matthieu Sozeau (J. ACM, 2021)

Gradually structured data. - Stefan Malewski; Michael Greenberg 002; Éric Tanter (Proc. ACM Program. Lang., 2021)

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ACM Trans. Program. Lang. Syst., 2021)

Gradual C0: Symbolic Execution for Efficient Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Hemant Gouni; Jacob Gorenburg; Mona Zhang; Conrad Zimmerman; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (CoRR, 2022)

Gradual System F. - Elizabeth Labrada; Matías Toro; Éric Tanter (J. ACM, 2022)

Propositional equality for gradual dependently typed programming. - Joseph Eremondi; Ronald Garcia; Éric Tanter (Proc. ACM Program. Lang., 2022)

Plausible sealing for gradual parametricity. - Elizabeth Labrada; Matías Toro; Éric Tanter; Dominique Devriese (Proc. ACM Program. Lang., 2022)

A reasonably gradual type theory. - Kenji Maillard; Meven Lennon-Bertrand; Nicolas Tabareau; Éric Tanter (Proc. ACM Program. Lang., 2022)

Gradualizing the Calculus of Inductive Constructions. - Meven Lennon-Bertrand; Kenji Maillard; Nicolas Tabareau; Éric Tanter (ACM Trans. Program. Lang. Syst., 2022)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joseph P. Near; Damián Árquez; Federico Olmedo; Éric Tanter (ACM Trans. Program. Lang. Syst., 2023)

Gradual Indexed Inductive Types. - Mara Malewski; Kenji Maillard; Nicolas Tabareau; Éric Tanter (Proc. ACM Program. Lang., 2024)

Securing Verified IO Programs Against Unverified Code in F. - Cezar-Constantin Andrici; Stefan Ciobaca; Catalin Hritcu; Guido Martínez; Exequiel Rivas; Éric Tanter; Théo Winterhalter (Proc. ACM Program. Lang., 2024)

Gradual Differentially Private Programming. - Matías Toro; Federico Olmedo; Éric Tanter (Commun. ACM, 2024)

Gradual C0: Symbolic Execution for Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Conrad Zimmerman; Hemant Gouni; Jacob Gorenburg; Jan-Paul Ramos-Dávila; Mona Zhang; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2024)

Gradual Sensitivity Typing. - Damián Árquez; Matías Toro; Éric Tanter (CSF, 2025)

Elucidating Type Conversions in SQL Engines. - Wenjia Ye; Matías Toro; Claudio Gutierrez; Bruno C. d. S. Oliveira; Éric Tanter (ESOP (1), 2025)

All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants. - Josselin Poiret; Gaëtan Gilbert; Kenji Maillard; Pierre-Marie Pédrot; Matthieu Sozeau; Nicolas Tabareau; Éric Tanter (Proc. ACM Program. Lang., 2025)