Éric Tanter

According to our database, Éric Tanter authored at least 140 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

2023

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., June, 2023

Gradual Sensitivity Typing.

Damián Árquez, Matías Toro, Éric Tanter

CoRR, 2023

2022

Gradualizing the Calculus of Inductive Constructions.

Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter

ACM Trans. Program. Lang. Syst., 2022

A reasonably gradual type theory.

Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, É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

Propositional equality for gradual dependently typed programming.

Joseph Eremondi, Ronald Garcia, Éric Tanter

Proc. ACM Program. Lang., 2022

Gradual System F.

Elizabeth Labrada, Matías Toro, Éric Tanter

J. ACM, 2022

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

2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

Gradually structured data.

Stefan Malewski, Michael Greenberg, Éric Tanter

Proc. ACM Program. Lang., 2021

The Marriage of Univalence and Parametricity.

Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

J. ACM, 2021

The Multiverse: Logical Modularity for Proof Assistants.

Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

CoRR, 2021

Approximate Normalization and Eager Equality Checking for Gradual Inductive Families.

Joseph Eremondi, Ronald Garcia, Éric Tanter

CoRR, 2021

Gradual Program Analysis for Null Pointers.

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

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

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

Abstracting gradual references.

Matías Toro, Éric Tanter

Sci. Comput. Program., 2020

Gradual verification of recursive heap data structures.

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

Proc. ACM Program. Lang., 2020

Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015.

Éric Tanter

J. Funct. Program., 2020

Contextual Linear Types for Differential Privacy.

Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter

CoRR, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

Abstracting Gradual References (SCICO Journal-first).

Matías Toro, Éric Tanter

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

A mechanized formalization of GraphQL.

Tomás Díaz, Federico Olmedo, Éric Tanter

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Gradual parametricity, revisited.

Matías Toro, Elizabeth Labrada, É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

Dijkstra monads for all.

Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter

Proc. ACM Program. Lang., 2019

Approximate normalization for gradual dependent types.

Joseph Eremondi, Éric Tanter, Ronald Garcia

Proc. ACM Program. Lang., 2019

Chemical foundations of distributed aspects.

Nicolas Tabareau, Éric Tanter

Distributed Comput., 2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

Polymorphic Relaxed Noninterference.

Raimil Cruz, Éric Tanter

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Existential Types for Relaxed Noninterference.

Raimil Cruz, Éric Tanter

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Type-Driven Gradual Security with References.

Matías Toro, Ronald Garcia, Éric Tanter

ACM Trans. Program. Lang. Syst., 2018

Gradual liquid type inference.

Niki Vazou, Éric Tanter, David Van Horn

Proc. ACM Program. Lang., 2018

Equivalences for free: univalent parametricity for effective transport.

Nicolas Tabareau, Éric Tanter, Matthieu Sozeau

Proc. ACM Program. Lang., 2018

Foundations of dependent interoperability.

Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter

J. Funct. Program., 2018

Gradual Program Verification.

Johannes Bader, Jonathan Aldrich, Éric Tanter

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

A trustworthy mechanized formalization of R.

Martin Bodin, Tomás Diaz, Éric Tanter

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017

Type Abstraction for Relaxed Noninterference (Artifact).

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Dagstuhl Artifacts Ser., 2017

A Gradual Interpretation of Union Types.

Matías Toro, Éric Tanter

Proceedings of the Static Analysis - 24th International Symposium, 2017

Gradual refinement types.

Nico Lehmann, Éric Tanter

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type Abstraction for Relaxed Noninterference.

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Polymorphic bytecode instrumentation.

Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni

Softw. Pract. Exp., 2016

Effect capabilities for Haskell: Taming effect interference in monadic programming.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Sci. Comput. Program., 2016

Gradual type-and-effect systems.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

J. Funct. Program., 2016

Abstracting gradual typing.

Ronald Garcia, Alison M. Clark, Éric Tanter

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Partial type equivalences for verified dependent interoperability.

Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Computational contracts.

Christophe Scholliers, Éric Tanter, Wolfgang De Meuter

Sci. Comput. Program., 2015

An expressive stateful aspect language.

Paul Leger, Éric Tanter, Hiroaki Fukuda

Sci. Comput. Program., 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

Object-oriented software extensions in practice.

Romain Robbes, David Röthlisberger, Éric Tanter

Empir. Softw. Eng., 2015

A Taxonomy of Domain-Specific Aspect Languages.

Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter

ACM Comput. Surv., 2015

Deriving a Simple Gradual Security Language.

Ronald Garcia, Éric Tanter

CoRR, 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

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Customizable gradual polymorphic effects for Scala.

Matías Toro, Éric Tanter

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Gradual certified programming in Coq.

Éric Tanter, Nicolas Tabareau

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014

Join point interfaces for safe and flexible decoupling of aspects.

Eric Bodden, Éric Tanter, Milton Inostroza

ACM Trans. Softw. Eng. Methodol., 2014

Foundations of Typestate-Oriented Programming.

Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

Execution levels for aspect-oriented programming: Design, semantics, implementations and applications.

Éric Tanter, Ismael Figueroa, Nicolas Tabareau

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

Gradual typing for Smalltalk.

Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker

Sci. Comput. Program., 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

Effect Capabilities for Haskell.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Confined gradual typing.

Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

A theory of gradual effect systems.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 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

Proceedings of the DLS'14, 2014

Aspectual session types.

Nicolas Tabareau, Mario Südholt, Éric Tanter

Proceedings of the 13th International Conference on Modularity, 2014

Compositional reasoning about aspect interference.

Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter

Proceedings of the 13th International Conference on Modularity, 2014

2013

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Programming with Ghosts.

Oscar Callaú, Éric Tanter

IEEE Softw., 2013

Modular and flexible causality control on the Web.

Paul Leger, Éric Tanter, Rémi Douence

Sci. Comput. Program., 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

Taming aspects with monads and membranes.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

Cast insertion strategies for gradually-typed objects.

Esteban Allende, Johan Fabry, Éric Tanter

Proceedings of the DLS'13, 2013

Secure and modular access control with aspects.

Rodolfo Toledo, Éric Tanter

Proceedings of the Aspect-Oriented Software Development, 2013

Taming aspects.

Éric Tanter

Proceedings of the 4th international workshop on Variability & composition, 2013

A typed monadic embedding of aspects.

Nicolas Tabareau, Ismael Figueroa, Éric Tanter

Proceedings of the Aspect-Oriented Software Development, 2013

A brief tour of join point interfaces.

Eric Bodden, Éric Tanter, Milton Inostroza

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Aspectizing Java Access Control.

Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé

IEEE Trans. Software Eng., 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

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Do static type systems improve the maintainability of software systems? An empirical study.

Sebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik

Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012

Taming aspects with membranes.

Éric Tanter, Nicolas Tabareau, Rémi Douence

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

A self-replication algorithm to flexibly match execution traces.

Paul Leger, Éric Tanter

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

A practical monadic aspect weaver.

Ismael Figueroa, Éric Tanter, Nicolas Tabareau

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Extensions during Software Evolution: Do Objects Meet Their Promise?

Romain Robbes, David Röthlisberger, Éric Tanter

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Access Control in JavaScript.

Rodolfo Toledo, Éric Tanter

IEEE Softw., 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

Join point interfaces for modular reasoning in aspect-oriented programs.

Milton Inostroza, Éric Tanter, Eric Bodden

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

First-class state change in plaid.

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

How developers use the dynamic features of programming languages: the case of smalltalk.

Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger

Proceedings of the 8th International Working Conference on Mining Software Repositories, 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

Proceedings of the 33rd International Conference on Software Engineering, 2011

A semantics for execution levels with exceptions.

Ismael Figueroa, Éric Tanter

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Gradual Typestate.

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

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

Guillaume Pothier, Éric Tanter

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Polymorphic bytecode instrumentation.

Philippe Moret, Walter Binder, Éric Tanter

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

Towards a domain-specific aspect language for dynamic program analysis: position paper.

Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, Akira Yokokawa, Éric Tanter

Proceedings of the sixth annual workshop on Domain-specific aspect languages, 2011

2010

Scoping strategies for distributed aspects.

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Sci. Comput. Program., 2010

Composition of dynamic analysis aspects.

Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni

Proceedings of the Generative Programming And Component Engineering, 2010

AspectScript: expressive aspects for the web.

Rodolfo Toledo, Paul Leger, Éric Tanter

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

Execution levels for aspect-oriented programming.

Éric Tanter

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

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

Back to the Future: Omniscient Debugging.

Guillaume Pothier, Éric Tanter

IEEE Softw., 2009

Supporting Composition of Structural Aspects in an AOP Kernel.

Éric Tanter, Johan Fabry

J. Univers. Comput. Sci., 2009

Infrastructure for domain-specific aspect languages: the relax case study.

Johan Fabry, Éric Tanter, Theo D'Hondt

IET Softw., 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

Proceedings of the 2009 international conference on Pervasive services, 2009

How should context-escaping closures proceed?

Dave Clarke, Pascal Costanza, Éric Tanter

Proceedings of the International Workshop on Context-Oriented Programming, 2009

Beyond static and dynamic scope.

Éric Tanter

Proceedings of the 5th Symposium on Dynamic Languages, 2009

Expressive scoping of distributed aspects.

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Flexible metaprogramming and AOP in Java.

Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé

Sci. Comput. Program., 2008

KALA: Kernel aspect language for advanced transactions.

Johan Fabry, Éric Tanter, Theo D'Hondt

Sci. Comput. Program., 2008

A Lightweight and Extensible AspectJ Implementation.

Rodolfo Toledo, Éric Tanter

J. Univers. Comput. Sci., 2008

Controlling Aspect Reentrancy.

Éric Tanter

J. Univers. Comput. Sci., 2008

Parallel object monitors.

Denis Caromel, Luis Mateu, Guillaume Pothier, Éric Tanter

Concurr. Comput. Pract. Exp., 2008

Unanticipated partial behavioral reflection: Adapting applications at runtime.

David Röthlisberger, Marcus Denker, Éric Tanter

Comput. Lang. Syst. Struct., 2008

Extending omniscient debugging to support aspect-oriented programming.

Guillaume Pothier, Éric Tanter

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Contextual values.

Éric Tanter

Proceedings of the 2008 Symposium on Dynamic Languages, 2008

Expressive scoping of dynamically-deployed aspects.

Éric Tanter

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

Summary of the third workshop on Domain-Specific Aspect Languages.

Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Lemeur, Éric Tanter

Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, 2008

2007

On dynamically-scoped crosscutting mechanisms.

Éric Tanter

ACM SIGPLAN Notices, 2007

Scalable omniscient debugging.

Guillaume Pothier, Éric Tanter, José M. Piquer

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Experimenting with Language Support for Proximity in Ambient-Oriented Programming.

Victor Ramiro, Jessie Dedecker, Éric Tanter, Peter Barron

Proceedings of the Engineering Environment-Mediated Multi-Agent Systems, 2007

Object Technology for Ambient Intelligence and Pervasive Computing.

Jessie Dedecker, Éric Tanter, Holger Mügge, Cristina Videira Lopes

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Mirages: behavioral intercession in a mirror-based architecture.

Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

ReLAx: implementing KALA over the reflex AOP kernel.

Johan Fabry, Éric Tanter, Theo D'Hondt

Proceedings of the 2nd Workshop on Domain Specific Aspect Languages, 2007

2006

Runtime bytecode transformation for Smalltalk.

Marcus Denker, Stéphane Ducasse, Éric Tanter

Comput. Lang. Syst. Struct., 2006

Context-Aware Aspects.

Éric Tanter, Kris Gybels, Marcus Denker, Alexandre Bergel

Proceedings of the Software Composition - 5th International Symposium, 2006

Aspects of Composition in the Reflex AOP Kernel.

Éric Tanter

Proceedings of the Software Composition - 5th International Symposium, 2006

Unanticipated Partial Behavioral Reflection.

David Röthlisberger, Marcus Denker, Éric Tanter

Proceedings of the Advances in Smalltalk, 14th International Smalltalk Conference, 2006

Declarative, formal, and extensible syntax definition for aspectJ.

Martin Bravenboer, Éric Tanter, Eelco Visser

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

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

Holger Mügge, Pascal Cherrier, Wolfgang De Meuter, Éric Tanter

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

A Versatile Kernel for Distributed AOP.

Éric Tanter, Rodolfo Toledo

Proceedings of the Distributed Applications and Interoperable Systems, 2006

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 Multi-language AOP.

Éric Tanter, Jacques Noyé

Proceedings of the Generative Programming and Component Engineering, 2005

Flexible object encapsulation for ambient-oriented programming.

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

Proceedings of the 2005 Symposium on Dynamic Languages, 2005

2004

Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study.

Leonardo Rodríguez, Éric Tanter, Jacques Noyé

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

Sequential Object Monitors.

Denis Caromel, Luis Mateu, Éric Tanter

Proceedings of the ECOOP 2004, 2004

2003

Partial behavioral reflection: spatial and temporal selection of reification.

Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Altering Java Semantics via Bytecode Manipulation.

Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José M. Piquer

Proceedings of the Generative Programming and Component Engineering, 2002

2001

Managing references upon object migration: applying separation of concerns.

Éric Tanter, José M. Piquer

Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

Reflex - Towards an Open Reflective Extension of Java.

Éric Tanter, Noury M. N. Bouraqadi-Saâdani, Jacques Noyé

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001