Éric Tanter - RankMe

173 papers A* 3A 23B 7C 10Misc 1Journal 87Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bounded Sort Polymorphism with Elimination Constraints. Proc. ACM Program. Lang. Johann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Théo Winterhalter
2025	J	`jnl`	All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants. Proc. ACM Program. Lang. Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
2025	J	`jnl`	Compiling Gradual Types with Evidence. CoRR José Luis Romero, Cristóbal Isla, Matías Toro, Éric Tanter
2025	—	`conf`	Elucidating Type Conversions in SQL Engines. ESOP (1) Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter
2025	A	`conf`	Gradual Sensitivity Typing. CSF Damián Árquez, Matías Toro, Éric Tanter
2025	J	`jnl`	Incremental Certified Programming. Proc. ACM Program. Lang. Tomás Díaz, Kenji Maillard, Nicolas Tabareau, Éric Tanter
2025	J	`jnl`	Robust Dynamic Embedding for Gradual Typing. Proc. ACM Program. Lang. Koen Jacobs, Matías Toro, Nicolas Tabareau, Éric Tanter
2025	J	`jnl`	Visualizing the semantics of gradual languages with Gredex. SoftwareX Matías Toro, Éric Tanter
2024	J	`jnl`	Gradual C0: Symbolic Execution for Gradual Verification. ACM Trans. Program. Lang. Syst. Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2024	J	`jnl`	Gradual Differentially Private Programming. Commun. ACM Matías Toro, Federico Olmedo, Éric Tanter
2024	J	`jnl`	Gradual Indexed Inductive Types. Proc. ACM Program. Lang. Mara Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter
2024	J	`jnl`	Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
2023	J	`jnl`	Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2023	J	`jnl`	Gradual Sensitivity Typing. CoRR Damián Árquez, Matías Toro, Éric Tanter
2022	J	`jnl`	A Reasonably Gradual Type Theory. CoRR Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
2022	J	`jnl`	A reasonably gradual type theory. Proc. ACM Program. Lang. Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
2022	J	`jnl`	Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2022	J	`jnl`	Gradual System F. J. ACM Elizabeth Labrada, Matías Toro, Éric Tanter
2022	J	`jnl`	Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
2022	J	`jnl`	Plausible sealing for gradual parametricity. Proc. ACM Program. Lang. Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
2022	J	`jnl`	Propositional Equality for Gradual Dependently Typed Programming. CoRR Joseph Eremondi, Ronald Garcia, Éric Tanter
2022	J	`jnl`	Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. Joseph Eremondi, Ronald Garcia, Éric Tanter
2021	J	`jnl`	An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2021	J	`jnl`	Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR Joseph Eremondi, Ronald Garcia, Éric Tanter
2021	A	`conf`	Gradual Program Analysis for Null Pointers. ECOOP Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	J	`jnl`	Gradual Program Analysis for Null Pointers. CoRR Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	J	`jnl`	Gradually structured data. Proc. ACM Program. Lang. Stefan Malewski, Michael Greenberg, Éric Tanter
2021	J	`jnl`	The Marriage of Univalence and Parametricity. J. ACM Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
2021	J	`jnl`	The Multiverse: Logical Modularity for Proof Assistants. CoRR Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
2020	B	`conf`	A mechanized formalization of GraphQL. CPP Tomás Díaz, Federico Olmedo, Éric Tanter
2020	A	`conf`	Abstracting Gradual References (SCICO Journal-first). ECOOP Matías Toro, Éric Tanter
2020	J	`jnl`	Abstracting gradual references. Sci. Comput. Program. Matías Toro, Éric Tanter
2020	J	`jnl`	Contextual Linear Types for Differential Privacy. CoRR Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
2020	J	`jnl`	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. ACM Trans. Program. Lang. Syst. Matías Toro, Ronald Garcia, Éric Tanter
2020	J	`jnl`	Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
2020	J	`jnl`	Gradualizing the Calculus of Inductive Constructions. CoRR Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
2020	J	`jnl`	Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. J. Funct. Program. Éric Tanter
2020	A	`conf`	Trace-Relating Compiler Correctness and Secure Compilation. ESOP Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2019	J	`jnl`	A reasonably exceptional type theory. Proc. ACM Program. Lang. Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
2019	J	`jnl`	Approximate Normalization for Gradual Dependent Types. CoRR Joseph Eremondi, Éric Tanter, Ronald Garcia
2019	J	`jnl`	Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. Joseph Eremondi, Éric Tanter, Ronald Garcia
2019	J	`jnl`	Chemical foundations of distributed aspects. Distributed Comput. Nicolas Tabareau, Éric Tanter
2019	J	`jnl`	Dijkstra Monads for All. CoRR Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019	J	`jnl`	Dijkstra monads for all. Proc. ACM Program. Lang. Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019	B	`conf`	Existential Types for Relaxed Noninterference. APLAS Raimil Cruz, Éric Tanter
2019	J	`jnl`	Existential Types for Relaxed Noninterference. CoRR Raimil Cruz, Éric Tanter
2019	J	`jnl`	Gradual parametricity, revisited. Proc. ACM Program. Lang. Matías Toro, Elizabeth Labrada, Éric Tanter
2019	—	`conf`	Polymorphic Relaxed Noninterference. SecDev Raimil Cruz, Éric Tanter
2019	J	`jnl`	Polymorphic Relaxed Noninterference. CoRR Raimil Cruz, Éric Tanter
2019	J	`jnl`	The Marriage of Univalence and Parametricity. CoRR Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
2019	J	`jnl`	Trace-Relating Compiler Correctness and Secure Compilation. CoRR Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2018	C	`conf`	A trustworthy mechanized formalization of R. DLS Martin Bodin, Tomás Diaz, Éric Tanter
2018	J	`jnl`	Equivalences for free: univalent parametricity for effective transport. Proc. ACM Program. Lang. Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
2018	J	`jnl`	Foundations of dependent interoperability. J. Funct. Program. Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
2018	J	`jnl`	Gradual Liquid Type Inference. CoRR Niki Vazou, Éric Tanter, David Van Horn
2018	J	`jnl`	Gradual Parametricity, Revisited. CoRR Matías Toro, Elizabeth Labrada, Éric Tanter
2018	B	`conf`	Gradual Program Verification. VMCAI Johannes Bader, Jonathan Aldrich, Éric Tanter
2018	J	`jnl`	Gradual liquid type inference. Proc. ACM Program. Lang. Niki Vazou, Éric Tanter, David Van Horn
2018	J	`jnl`	Type-Driven Gradual Security with References. ACM Trans. Program. Lang. Syst. Matías Toro, Ronald Garcia, Éric Tanter
2017	B	`conf`	A Gradual Interpretation of Union Types. SAS Matías Toro, Éric Tanter
2017	A*	`conf`	Gradual refinement types. POPL Nico Lehmann, Éric Tanter
2017	J	`jnl`	Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2017	A	`conf`	Type Abstraction for Relaxed Noninterference. ECOOP Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
2016	A*	`conf`	Abstracting gradual typing. POPL Ronald Garcia, Alison M. Clark, Éric Tanter
2016	J	`jnl`	Effect capabilities for Haskell: Taming effect interference in monadic programming. Sci. Comput. Program. Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2016	J	`jnl`	Gradual type-and-effect systems. J. Funct. Program. Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2016	A	`conf`	Partial type equivalences for verified dependent interoperability. ICFP Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
2016	J	`jnl`	Polymorphic bytecode instrumentation. Softw. Pract. Exp. Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni
2015	J	`jnl`	A Taxonomy of Domain-Specific Aspect Languages. ACM Comput. Surv. Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
2015	—	`conf`	An empirical study of goto in C code from GitHub repositories. ESEC/SIGSOFT FSE Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, Ahmed E. Hassan
2015	J	`jnl`	An empirical study of goto in C code. PeerJ Prepr. Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, Ahmed E. Hassan
2015	J	`jnl`	An expressive stateful aspect language. Sci. Comput. Program. Paul Leger, Éric Tanter, Hiroaki Fukuda
2015	J	`jnl`	Computational contracts. Sci. Comput. Program. Christophe Scholliers, Éric Tanter, Wolfgang De Meuter
2015	A	`conf`	Customizable gradual polymorphic effects for Scala. OOPSLA Matías Toro, Éric Tanter
2015	J	`jnl`	Deriving a Simple Gradual Security Language. CoRR Ronald Garcia, Éric Tanter
2015	J	`jnl`	Gradual Certified Programming in Coq. CoRR Éric Tanter, Nicolas Tabareau
2015	C	`conf`	Gradual certified programming in Coq. DLS Éric Tanter, Nicolas Tabareau
2015	J	`jnl`	Object-oriented software extensions in practice. Empir. Softw. Eng. Romain Robbes, David Röthlisberger, Éric Tanter
2015	—	`ed.`	Transactions on Aspect-Oriented Software Development XII Trans. Aspect-Oriented Software Development XII Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld
2014	A	`conf`	A theory of gradual effect systems. ICFP Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014	J	`jnl`	An empirical study on the impact of static typing on software maintainability. Empir. Softw. Eng. Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, Andreas Stefik
2014	—	`conf`	Aspectual session types. MODULARITY Nicolas Tabareau, Mario Südholt, Éric Tanter
2014	—	`conf`	Compositional reasoning about aspect interference. MODULARITY Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
2014	A	`conf`	Confined gradual typing. OOPSLA Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
2014	—	`conf`	Effect Capabilities for Haskell. SBLP Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2014	J	`jnl`	Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. Sci. Comput. Program. Éric Tanter, Ismael Figueroa, Nicolas Tabareau
2014	J	`jnl`	Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
2014	J	`jnl`	Gradual typing for Smalltalk. Sci. Comput. Program. Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker
2014	J	`jnl`	Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. Eric Bodden, Éric Tanter, Milton Inostroza
2014	C	`conf`	On the use of type predicates in object-oriented software: the case of Smalltalk. DLS Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel
2014	J	`jnl`	Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model. Sci. Comput. Program. Christophe Scholliers, Éric Tanter, Wolfgang De Meuter
2014	—	`ed.`	Transactions on Aspect-Oriented Software Development XI Trans. Aspect-Oriented Software Development XI Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
2013	—	`conf`	A brief tour of join point interfaces. AOSD (Companion) Eric Bodden, Éric Tanter, Milton Inostroza
2013	—	`conf`	A typed monadic embedding of aspects. AOSD Nicolas Tabareau, Ismael Figueroa, Éric Tanter
2013	C	`conf`	Cast insertion strategies for gradually-typed objects. DLS Esteban Allende, Johan Fabry, Éric Tanter
2013	J	`jnl`	Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. LNCS Trans. Aspect Oriented Softw. Dev. Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2013	J	`jnl`	How (and why) developers use the dynamic features of programming languages: the case of smalltalk. Empir. Softw. Eng. Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger
2013	J	`jnl`	Modular and flexible causality control on the Web. Sci. Comput. Program. Paul Leger, Éric Tanter, Rémi Douence
2013	J	`jnl`	Programming with Ghosts. IEEE Softw. Oscar Callaú, Éric Tanter
2013	—	`conf`	Secure and modular access control with aspects. AOSD Rodolfo Toledo, Éric Tanter
2013	—	`conf`	Taming aspects with monads and membranes. FOAL Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2013	—	`conf`	Taming aspects. VariComp@AOSD Éric Tanter
2013	—	`ed.`	Transactions on Aspect-Oriented Software Development X Trans. Aspect-Oriented Software Development X Gary T. Leavens, Shigeru Chiba, Éric Tanter
2012	—	`conf`	A practical monadic aspect weaver. FOAL Ismael Figueroa, Éric Tanter, Nicolas Tabareau
2012	—	`conf`	A self-replication algorithm to flexibly match execution traces. FOAL Paul Leger, Éric Tanter
2012	A	`conf`	An empirical study of the influence of static type systems on the usability of undocumented software. OOPSLA Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik
2012	J	`jnl`	Aspectizing Java Access Control. IEEE Trans. Software Eng. Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
2012	—	`ed.`	Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012 AOSD (Companion) Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel
2012	A	`conf`	Do static type systems improve the maintainability of software systems? An empirical study. ICPC Sebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik
2012	A	`conf`	Extensions during Software Evolution: Do Objects Meet Their Promise? ECOOP Romain Robbes, David Röthlisberger, Éric Tanter
2012	—	`ed.`	Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012 AOSD Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel
2012	—	`conf`	Taming aspects with membranes. FOAL Éric Tanter, Nicolas Tabareau, Rémi Douence
2011	—	`conf`	A semantics for execution levels with exceptions. FOAL Ismael Figueroa, Éric Tanter
2011	J	`jnl`	Access Control in JavaScript. IEEE Softw. Rodolfo Toledo, Éric Tanter
2011	J	`jnl`	Ambient contracts: verifying and enforcing ambient object compositions à la carte. Pers. Ubiquitous Comput. Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt
2011	A	`conf`	First-class state change in plaid. OOPSLA Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter
2011	A	`conf`	Gradual Typestate. ECOOP Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
2011	A	`conf`	How developers use the dynamic features of programming languages: the case of smalltalk. MSR Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger
2011	—	`conf`	Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE Milton Inostroza, Éric Tanter, Eric Bodden
2011	A*	`conf`	Permission-based programming languages. ICSE Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2011	—	`conf`	Plaid: a permission-based programming language. OOPSLA Companion Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2011	—	`conf`	Polymorphic bytecode instrumentation. AOSD Philippe Moret, Walter Binder, Éric Tanter
2011	—	`ed.`	Proceedings of the sixth annual workshop on Domain-specific aspect languages, DSAL '11, Porto de Galinhas, Brazil, March 21, 2011 DSAL@AOSD Tom Dinkelaker, Jacques Noyé, Éric Tanter
2011	A	`conf`	Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. ECOOP Guillaume Pothier, Éric Tanter
2011	—	`conf`	Towards a domain-specific aspect language for dynamic program analysis: position paper. DSAL@AOSD Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, Akira Yokokawa, Éric Tanter
2010	—	`conf`	AspectScript: expressive aspects for the web. AOSD Rodolfo Toledo, Paul Leger, Éric Tanter
2010	B	`conf`	Composition of dynamic analysis aspects. GPCE Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni
2010	—	`conf`	Execution levels for aspect-oriented programming. AOSD Éric Tanter
2010	J	`jnl`	Scoping strategies for distributed aspects. Sci. Comput. Program. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
2009	J	`jnl`	Back to the Future: Omniscient Debugging. IEEE Softw. Guillaume Pothier, Éric Tanter
2009	C	`conf`	Beyond static and dynamic scope. DLS Éric Tanter
2009	—	`conf`	Expressive scoping of distributed aspects. AOSD Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
2009	—	`conf`	How should context-escaping closures proceed? COP@ECOOP Dave Clarke, Pascal Costanza, Éric Tanter
2009	J	`jnl`	Infrastructure for domain-specific aspect languages: the relax case study. IET Softw. Johan Fabry, Éric Tanter, Theo D'Hondt
2009	J	`jnl`	Mirror-based reflection in AmbientTalk. Softw. Pract. Exp. Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Elisa Gonzalez Boix, Éric Tanter, Wolfgang De Meuter
2009	—	`ed.`	Proceedings of the 4th workshop on Domain-specific aspect languages, DSAL '09, Charlottesville, Virginia, USA, March 3, 2009 DSAL@AOSD Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter
2009	—	`conf`	Resilient actors: a runtime partitioning model for pervasive computing services. ICPS Engineer Bainomugisha, Jorge Vallejos, Éric Tanter, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt
2009	J	`jnl`	Supporting Composition of Structural Aspects in an AOP Kernel. J. Univers. Comput. Sci. Éric Tanter, Johan Fabry
2008	J	`jnl`	A Lightweight and Extensible AspectJ Implementation. J. Univers. Comput. Sci. Rodolfo Toledo, Éric Tanter
2008	C	`conf`	Contextual values. DLS Éric Tanter
2008	J	`jnl`	Controlling Aspect Reentrancy. J. Univers. Comput. Sci. Éric Tanter
2008	—	`conf`	Expressive scoping of dynamically-deployed aspects. AOSD Éric Tanter
2008	Misc	`conf`	Extending omniscient debugging to support aspect-oriented programming. SAC Guillaume Pothier, Éric Tanter
2008	J	`jnl`	Flexible metaprogramming and AOP in Java. Sci. Comput. Program. Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé
2008	J	`jnl`	KALA: Kernel aspect language for advanced transactions. Sci. Comput. Program. Johan Fabry, Éric Tanter, Theo D'Hondt
2008	J	`jnl`	Parallel object monitors. Concurr. Comput. Pract. Exp. Denis Caromel, Luis Mateu, Guillaume Pothier, Éric Tanter
2008	A	`ed.`	Software Composition - 7th International Symposium, SC@ETAPS 2008, Budapest, Hungary, March 29-30, 2008. Proceedings SC Cesare Pautasso, Éric Tanter
2008	—	`conf`	Summary of the third workshop on Domain-Specific Aspect Languages. DSAL@AOSD Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Lemeur, Éric Tanter
2008	J	`jnl`	Unanticipated partial behavioral reflection: Adapting applications at runtime. Comput. Lang. Syst. Struct. David Röthlisberger, Marcus Denker, Éric Tanter
2007	—	`conf`	Experimenting with Language Support for Proximity in Ambient-Oriented Programming. EEMMAS Victor Ramiro, Jessie Dedecker, Éric Tanter, Peter Barron
2007	C	`conf`	Mirages: behavioral intercession in a mirror-based architecture. DLS Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter
2007	—	`conf`	Object Technology for Ambient Intelligence and Pervasive Computing. ECOOP Workshops Jessie Dedecker, Éric Tanter, Holger Mügge, Cristina Videira Lopes
2007	J	`jnl`	On dynamically-scoped crosscutting mechanisms. ACM SIGPLAN Notices Éric Tanter
2007	—	`ed.`	Proceedings of the 2nd Workshop on Domain Specific Aspect Languages, DSAL '07, Vancouver, British Columbia, Canada, March 12, 2007 DSAL@AOSD Johan Fabry, Damijan Rebernak, Thomas Cleenewerck, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter
2007	—	`conf`	ReLAx: implementing KALA over the reflex AOP kernel. DSAL@AOSD Johan Fabry, Éric Tanter, Theo D'Hondt
2007	A	`conf`	Scalable omniscient debugging. OOPSLA Guillaume Pothier, Éric Tanter, José M. Piquer
2006	C	`conf`	A Versatile Kernel for Distributed AOP. DAIS Éric Tanter, Rodolfo Toledo
2006	A	`conf`	Aspects of Composition in the Reflex AOP Kernel. SC Éric Tanter
2006	A	`conf`	Context-Aware Aspects. SC Éric Tanter, Kris Gybels, Marcus Denker, Alexandre Bergel
2006	A	`conf`	Declarative, formal, and extensible syntax definition for aspectJ. OOPSLA Martin Bravenboer, Éric Tanter, Eelco Visser
2006	—	`conf`	Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures. ECOOP Workshops Holger Mügge, Pascal Cherrier, Wolfgang De Meuter, Éric Tanter
2006	J	`jnl`	Runtime bytecode transformation for Smalltalk. Comput. Lang. Syst. Struct. Marcus Denker, Stéphane Ducasse, Éric Tanter
2006	C	`conf`	Unanticipated Partial Behavioral Reflection. ISC David Röthlisberger, Marcus Denker, Éric Tanter
2005	B	`conf`	A Versatile Kernel for Multi-language AOP. GPCE Éric Tanter, Jacques Noyé
2005	C	`conf`	Flexible object encapsulation for ambient-oriented programming. DLS Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker
2005	J	`jnl`	La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques. Obj. Logiciel Base données Réseaux Leonardo Rodríguez, Éric Tanter, Jacques Noyé
2005	—	`conf`	Runtime Bytecode Transformation for Smalltalk. ESUG Marcus Denker, Stéphane Ducasse, Éric Tanter
2004	A	`conf`	Sequential Object Monitors. ECOOP Denis Caromel, Luis Mateu, Éric Tanter
2004	—	`conf`	Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study. SCCC Leonardo Rodríguez, Éric Tanter, Jacques Noyé
2003	A	`conf`	Partial behavioral reflection: spatial and temporal selection of reification. OOPSLA Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe
2002	B	`conf`	Altering Java Semantics via Bytecode Manipulation. GPCE Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José M. Piquer
2001	—	`conf`	Managing references upon object migration: applying separation of concerns. SCCC Éric Tanter, José M. Piquer
2001	—	`conf`	Reflex - Towards an Open Reflective Extension of Java. Reflection Éric Tanter, Noury M. N. Bouraqadi-Saâdani, Jacques Noyé