Publications

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, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, É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, Matías Toro, Claudio Gutierrez, Bruno C d S Oliveira, É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-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, É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
Damián Árquez, Matías Toro, Éric Tanter
Proceedings of the IEEE Computer Security Foundations Symposium, 2025
To appear
[bib]
Reducing urban speed limits decreases work-related traffic injury severity: Evidence from Santiago, Chile
Eduardo Graells-Garrido, Matías Toro, Gabriel Mansilla, Matías Nicolai, Santiago Mansilla, Jocelyn Dunstan
Travel Behaviour and Society, volume 40, pp.101034, 2025

2024

 

[bib, doi, pdf]
Gradual Differentially Private Programming
Matías Toro, Federico Olmedo, É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, Éric Tanter
Proceedings of the ACM on Programming Languages, volume 8, number ICFP, pp.255:1-255:29, August 2024, ACM Press
[bib, doi]
Merging Gradual Typing
Wenjia Ye, Bruno C d S Oliveira, Matías Toro
Proceedings of the ACM on Programming Languages, volume 8, number OOPSLA1, pp.294:648-294:676, October 2024, ACM Press
[bib, doi, pdf]
Securing Verified IO Programs Against Unverified Code in F*
Cezar Andrici, Ştefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Thé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]
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro, Federico Olmedo
Proceedings of the ACM on Programming Languages, volume 7, number OOPSLA1, pp.256-285, October 2023, ACM Press
[bib, doi, pdf]
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah, Joe Near, Damián Árquez, Federico Olmedo, É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, É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, É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, Matías Toro, É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, Matías Toro, É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, É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, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jéré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, É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, É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, É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, Éric Tanter
Draft on arXiv, 2021

2020

 

[bib, doi, pdf]
Abstracting Gradual References
Matías Toro, Éric Tanter
Science of Computer Programming, volume 197, pp.1-65, October 2020, Elsevier
[bib, doi, pdf]
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 (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, É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, É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, Ştefan Ciobâcă, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jéré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 Pédrot, Nicolas Tabareau, Hans Fehrmann, É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, É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, É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 Martínez, Cătălin Hriţcu, Exequiel Rivas, É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, É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
Matías Toro, Elizabeth Labrada, É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, É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, Tomás Diaz, É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, É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-Évariste Dagand, Nicolas Tabareau, É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, É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)
Matías Toro, Elizabeth Labrada, Éric Tanter
2018
arXiv:1807.04596 [cs.PL]
[bib, doi, pdf]
Gradual Program Verification
Johannes Bader, Jonathan Aldrich, É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
Matías Toro, Ronald Garcia, É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-Évariste Dagand, Nicolas Tabareau, É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
Matías Toro, É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-Évariste Dagand, Nicolas Tabareau, Éric Tanter
number HAL-01629909, November 2017, Inria
[bib, pdf]
Gradual Union Types---Complete Definition and Proofs
Matías Toro, Éric Tanter
number TR/DCC-2017-1, June 2017, University of Chile
[bib, doi, pdf]
Gradual Refinement Types
Nico Lehmann, É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, pdf]
Live Robot Programming: The Language, its Implementation, and Robot API Independence
Miguel Campusano, Johan Fabry
Science of Computer Programming, volume 133, pp.1-19, 2017, Elsevier
[bib, doi, pdf]
Type Abstraction for Relaxed Noninterference
Raimil Cruz, Tamara Rezk, Bernard Serpette, É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, É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]
AspectJ Code Analysis and Verification with GASR
Johan Fabry, Coen De Roover, Carlos Noguera, Steffen Zschaler, Awais Rashid, Viviane Jonckers
Jornal of Systems and Software, volume 117, pp.528-544, 2016, Elsevier
[bib, doi, pdf]
Effect Capabilities for Haskell: Taming Effect Interference in Monadic Programming
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Science of Computer Programming, volume 119, pp.3-30, April 2016, Elsevier
[bib, doi, pdf]
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
Johan Fabry, Arturo Zambrano, Silvia Gordillo
Software & Systems Modeling, volume 15, pp.881-905, July 2016, Springer-Verlag
[bib, pdf]
Formalizing Simple Refinement Types in Coq
Nico Lehmann, É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, Éric Tanter
number TR/DCC-2016-1, November 2016, University of Chile
[bib, doi, pdf]
Gradual Type-and-Effect Systems
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
Journal of Functional Programming, volume 26, pp.19:1-19:69, September 2016, Cambridge University Press
[bib, pdf]
Interactive Visualizations for Testing Physics Engines in Robotics
Johan Fabry, Stephen Sinclair
Proceedings of 4th IEEE Working Conference on Software Visualization, Oct 2016, IEEE Computer Society Press
Tool Demo
[bib, doi, pdf]
Partial Type Equivalences for Verified Dependent Interoperability
Pierre-Evariste Dagand, Nicolas Tabareau, É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, É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, É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, É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 Noyé, É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
Matías Toro, É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, Éric Tanter, Wolfgang De Meuter
Science of Computer Programming, volume 98, number 3, pp.360-375, February 2015, Elsevier
[bib]
Code duplication in ROS launchfiles
Pablo Estefo, Romain Robbes, Johan Fabry
2015 34th International Conference of the Chilean Computer Science Society (SCCC), November 2015, IEEE Computer Society Press
[bib, doi, pdf]
Deriving a Simple Gradual Security Language
Ronald Garcia, Éric Tanter
November 2015
eprint arXiv:1511.01399
[bib, doi, pdf]
From Robots to Humans: Visualizations for Robot Sensor Data
Miguel Campusano, Johan Fabry
Proceedings of the IEEE 3rd Working Conference on Software Visualization (VISSOFT 2015), pp.135-139, 2015, IEEE Computer Society Press
[bib, pdf]
Gradual Polymorphic Effects---Complete Definition and Soundness Proof
Matías Toro, Éric Tanter
number TR/DCC-2015-2, July 2015, University of Chile
[bib, doi, pdf]
Gradual Certified Programming in Coq
É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, doi, pdf]
Is Functional Programming Better for Modularity?
Ismael Figueroa, Romain Robbes
Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, pp.49-52, Pittsburgh, PA, USA, 2015, ACM Press
[bib, pdf]
Lost in Extraction, Recovered
É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 Röthlisberger, É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 Südholt, É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, Éric Tanter, Andreas Stefik
Empirical Software Engineering, volume 19, number 5, pp.1335-1382, October 2014
[bib, doi, pdf]
AspectMaps: Extending Moose to Visualize AOP Software
Johan Fabry, Andy Kellens, Simon Denier, Stephane Ducasse
Science of Computer Programming, volume 79, number 1, pp.6-22, January 2014, Elsevier
[bib, doi, pdf]
A Theory of Gradual Effect Systems
Felipe Bañados Schwerter, Ronald Garcia, É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, É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, É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, pdf]
DIE: A Domain Specific Aspect Language for IDE Events
Johan Fabry, Romain Robbes, Marcus Denker
Journal of Universal Computer Science, volume 20, number 2, pp.135-168, February 2014
Available at: http://www.jucs.org/jucs_20_2/die_a_domain_specific
[bib, doi, pdf]
Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications
É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 cálculo mental: características de su diseño y resultados preliminares
Paul Leger, Grecia Gálvez, Lino Cubillos, Diego Cosmelli, Milton Inostroza, Éric Tanter, Gina Luci, Jorge Soto Andrade
Revista Latinoamericana de Investigación en Matemá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, É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, É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, É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 Callaú, Johan Fabry, É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, É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]
Live Robot Programming
Johan Fabry, Miguel Campusano
Advances in Artificial Intelligence -- IBERAMIA 2014, number 8864, pp.445-456, 2014, Springer-Verlag
[bib, doi, pdf]
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 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, Éric Tanter, Wolfgang De Meuter
Science of Computer Programming, volume 80, number 1, pp.52-64, February 2014, Elsevier
[bib, doi, pdf]
PHANtom: a Modern Aspect Language for Pharo Smalltalk
Johan Fabry, Daniel Galdames
Software---Practice and Experience, volume 44, number 4, pp.393-412, April 2014, Wiley & Sons
[bib, doi, pdf]
Seamless Composition and Reuse of Customizable User Interfaces with Spec
Benjamin Van Ryseghem, Stéphane Ducasse, Johan Fabry
Science of Computer Programming, volume 96, number 1, pp.34-51, December 2014, Elsevier
[bib, doi]
Transactions on Aspect-Oriented Software Development XI
Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
Transactions on Aspect-Oriented Software Development XI, volume 8400, 2014, Springer-Verlag
[bib, pdf]
Towards Live Programming in ROS with PhaROS and LRP
Pablo Estefo, Miguel Campusano, Luc Fabresse, Johan Fabry, Jannik Laval, Noury Bouraqadi
Proceedings of the Fifth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2014), 2014, arXiv.org

2013

 

[bib, pdf]
Anti-Unification with Type Classes
Nicolas Tabareau, Éric Tanter, Ismael Figueroa
Journées Francophones des Langages Applicatifs (JFLA 2013), Aussois, France, February 2013
[bib, doi, pdf]
A Typed Monadic Embedding of Aspects
Nicolas Tabareau, Ismael Figueroa, É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]
Aspectual Source Code Analysis with GASR
Johan Fabry, Coen De Roover, Viviane Jonckers
Proceedings of 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'13), pp.53-62, Eindhoven, Netherlands, Sept 2013
[bib, doi, pdf]
A Brief Tour of Join Point Interfaces
Eric Bodden, É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, É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]
Design Decisions in AspectMaps
Johan Fabry, Alexandre Bergel
Proceedings of the 1st IEEE Working Conference on Software Visualization (VISSOFT'13), Eindhoven, Netherlands, Sept 2013
[bib, doi, pdf]
Experience Report: AORE in Slot Machines
Arturo Zambrano, Johan Fabry, Silvia Gordillo
Aspect-Oriented Requirements Engineering, pp.317-332, 2013, Springer-Verlag
[bib, doi, pdf]
How (and Why) Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk
Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger
Empirical Software Engineering, volume 18, number 6, pp.1156-1194, December 2013, Springer-Verlag
[bib, pdf]
Increasing test coverage with Hapao
Alexandre Bergel, Vanessa Peña
Science of Computer Programming, 2013
[bib, doi, pdf]
Modular and Flexible Causality Control on the Web
Paul Leger, Éric Tanter, Rémi Douence
Science of Computer Programming, volume 78, number 9, pp.1538-1558, September 2013, Elsevier
[bib, doi, pdf]
Programming with Ghosts
Oscar Callaú, É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, É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, pdf]
Supporting Incremental Programming with Ghosts
Oscar Callaú
Proceedings of the 35th International Conference on Software Engineering, pp.1439-1441, San Francisco, California, USA, 2013
To appear
[bib, doi]
Transactions on Aspect-Oriented Software Development X
Gary T Leavens, Shigeru Chiba, Éric Tanter
Transactions on Aspect-Oriented Software Development X, volume 7800, 2013, Springer-Verlag
[bib, doi, pdf]
Taming Aspects
Éric Tanter
Proceedings of the 4th International Workshop on Variability and Composition (VariComp 2013)---Keynote abstract, pp.19, 2013
[bib, pdf]
Tipos: Garantías a Medida
É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, É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 Núñez, Éric Tanter, Jacques Noyé
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, É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, É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, É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, É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, pdf]
Debugging performance failures
Juan Pablo Sandoval, Alexandre Bergel
Proceedings of the 6th Workshop on Dynamic Languages and Applications, pp.2:1-2:3, Beijing, China, 2012, ACM
[bib]
DSAL '12: Proceedings of the seventh workshop on Domain-Specific Aspect Languages
Tom Dinkelaker, Johan Fabry, Jacques Noyé
Potsdam, Germany, 2012, ACM Press
Available at http://dl.acm.org/citation.cfm?id=2162037
[bib, doi, pdf]
Expressing Aspectual Interactions in Requirements Engineering: Experiences, Problems and Solutions
Arturo Zambrano, Johan Fabry, Silvia Gordillo
Science of Computer Programming, volume 78, number 1, pp.65-92, Nov 2012, Elsevier
[bib, doi, pdf]
Extensions during Software Evolution: Do Objects Meet Their Promise?
Romain Robbes, David Röthlisberger, É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, pdf]
Execution profiling blueprints
Alexandre Bergel, Felipe Bañados, Romain Robbes, Walter Binder
Software: Practice and Experience, volume 42, number 9, pp.1165-1192, 2012, John Wiley & Sons, Ltd
[bib, pdf]
Generics and Reverse Generics for Pharo
Alexandre Bergel, Lorenzo Bettini
Proceedings of the 7th International Conference on Software Paradigms Trens (ICSOFT'12), 2012
[bib, doi]
Method Lookup Simulation with a Gradual Typing Language
Esteban Allende, Johan Fabry
Chilean Computer Science Society (SCCC), 31st International Conference of the, pp.1-8, 2012, IEEE Computer Society Press
[bib, pdf]
Modeling Domain-Specific Profilers
Jorge Ressia, Alexandre Bergel, Oscar Nierstrasz, Lukas Renggli
Journal of Object Technology, volume 11, number 1, pp.1-21, April 2012
[bib, pdf]
Opening Up Trace-Based Mechanisms -- Application to Context-Aware Systems
Paul Leger
August 2012, University of Chile, (PhD Thesis)
[bib, pdf]
Object-Centric Debugging
Jorge Ressia, Alexandre Bergel, Oscar Nierstrasz
Proceeding of the 34th international conference on Software engineering, pp.485-495, Zurich, Switzerland, 2012
[bib, doi, pdf]
PHANtom: an aspect language for pharo smalltalk
Johan Fabry
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, pp.31-32, Potsdam, Germany, 2012, ACM Press
Demonstration
[bib, doi]
Proceedings of the 11th International Conference on Aspect-Oriented Software Development (AOSD 2012)
É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, doi, pdf]
Spec. A Framework for the Specification and Reuse of UIs and their Models
Benjamin Van Ryseghem, Stéphane Ducasse, Johan Fabry
Proceedings of the International Workshop on Smalltalk Technologies, pp.2:1-2:14, Ghent, Belgium, 2012, ACM
[bib, pdf]
Safe and Practical Decoupling of Aspects with Join Point Interfaces
Eric Bodden, É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
Éric Tanter, Nicolas Tabareau, Rémi Douence
Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012), pp.3-8, Potsdam, Germany, March 2012, ACM Press
[bib, pdf]
The Hidden Face of Execution Sampling
Alexandre Bergel, Vanessa Peña, Juan Pablo Sandoval
Proceedings of the 1st Smalltalk Direction Workshop, 2012

2011

 

[bib, doi, pdf]
Access Control in JavaScript
Rodolfo Toledo, É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 à la Carte
Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt
Personal and Ubiquitous Computing, volume 15, number 4, pp.341-351, 2011, Springer-Verlag
[bib]
A study of ripple effects in software ecosystems
Romain Robbes, Mircea Lungu
Proceedings of the 33rd ACM/IEEE International Conference on Software Engineering (ICSE 2011), New Ideas and Emerging Results track, pp.904-907, Honolulu, Hawaii, USA, May 2011, ACM Press
[bib, doi, pdf]
A Semantics for Execution Levels with Exceptions
Ismael Figueroa, É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, doi, pdf]
AspectMaps: A Scalable Visualization of Join Point Shadows
Johan Fabry, Andy Kellens, Stéphane Ducasse
Proceedings of 19th IEEE International Conference on Program Comprehension (ICPC2011), pp.121-130, Jul 2011, IEEE Computer Society Press
[bib, pdf]
Analyzing Software Process Models with AVISPA
Julio Ariel Hirtado Alegría, María Cecilia Bastarrica, Alexandre Bergel
Proceedings of the International Conference on Software and Systems Process (ICSSP'11), May 2011
[bib, doi]
Application optimization when using gradual typing
Esteban Allende, Johan Fabry
Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, pp.3:1-3:6, Lancaster, United Kingdom, 2011, ACM
[bib, pdf]
Computational contracts
Christophe Scholliers, Éric Tanter, Wolfgang De Meuter
Scheme and Functional Programming workshop, 2011
Superseded by SCP 2013
[bib, pdf]
Counting Messages as a Proxy for Average Execution Time in Pharo
Alexandre Bergel
Proceedings of the 25th European Conference on Object-Oriented Programming (ECOOP'11), pp.533-557, July 2011, Springer-Verlag
[bib, pdf]
Exploring Membranes for Controlling Aspects
Éric Tanter, Nicolas Tabareau, Rémi Douence
number TR/DCC-2011-8, June 2011, University of Chile
[bib]
Estrategias Cognitivas para el Calculo Mental
Grecia Gálvez, Diego Cosmelli, Lino Cubillos, Paul Leger, Arturo Mena, Éric Tanter, Ximena Flores, Gina Luci, Soledad Montoya, Jorge Soto Andrade
Revista Latinoamericana de Investigación en Matemática Educativa, volume 14, number 1, pp.9-40, March 2011, Clame
[bib, doi, pdf]
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain
Johan Fabry, Arturo Zambrano, Silvia Gordillo
Model Driven Engineering Languages and Systems, volume 6981, pp.93-107, 2011, Springer Berlin / Heidelberg
ACM distinguished paper award
[bib, doi, pdf]
First-Class State Change in Plaid
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, É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, pdf]
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices
Alexandre Bergel, William Harrison, Vinny Cahill, Siobhán Clarke
IEEE Transactions on Software Engineering, volume 37, number 4, July 2011
[bib, doi, pdf]
Gradual Typestate
Roger Wolff, Ronald Garcia, É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, É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 Callaú, Romain Robbes, Éric Tanter, David Rö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, É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, É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]
PHANtom: a Modern Aspect Language for Pharo Smalltalk
Johan Fabry, Daniel Galdames
Proceedings of the International Workshop on Smalltalk Technologies, pp.10:1-10:12, Edinburgh, United Kingdom, 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, É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]
Reconciling method overloading and dynamically typed scripting languages
Alexandre Bergel
Journal of Computer Languages, Systems and Structures, volume 37, pp.132-150, 2011
[bib, pdf]
Supporting Aspect Oriented Requirements Engineering for Large Documents
Arturo Zambrano, Julian Rousselot, Johan Fabry, Silvia Gordillo
Electronic Journal of SADIO, volume 10, number 1, pp.38-52, April 2011
[bib, pdf]
Secure and Modular Access Control with Aspects
Rodolfo Toledo, É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, É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, pdf]
Spy: A flexible Code Profiling Framework
Alexandre Bergel, Felipe Bañados, Romain Robbes, David Röthlisberger
Journal of Computer Languages, Systems and Structures, volume 38, number 1, December 2011
[bib, doi, pdf]
Towards a Domain-Specific Aspect Language for Dynamic Program Analysis
Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, É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
[bib]
Toward Lean Development in Formally Specified Software Processes
María Cecilia Bastarrica, Julio A Hurtado, Alexandre Bergel
Proceedings of the 18th European System & Software Process Improvement and Innovation Conference (EuroSPI'11), pp.xx-xx, June 2011

2010

 

[bib, doi, pdf]
A Fine Grained Aspect Coordination Mechanism
Arturo Zambrano, Silvia Gordillo, Johan Fabry
International Journal of Software Engineering and Knowledge Engineering (IJSEKE), volume 20, number 7, pp.1025-1042, November 2010
[bib, doi, pdf]
AspectScript: Expressive Aspects for the Web
Rodolfo Toledo, Paul Leger, É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, É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
É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]
Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain
Arturo Zambrano, Johan Fabry, Guillermo Jacobson, Silvia Gordillo
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC 2010), pp.2161-2168, Sierre, Switzerland, 2010, ACM Press
[bib, doi, pdf]
Execution Levels for Aspect-Oriented Programming
É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, Éric Tanter, Jonathan Aldrich
number CMU-ISR-10-115, July 2010, Carnegie Mellon University
[bib, pdf]
Gradual Featherweight Typestate
Roger Wolff, Ronald Garcia, É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, É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, É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, pdf]
Supporting Aspect Oriented Requirements Engineering for Large Documents
Arturo Zambrano, Julian Rousselot, Johan Fabry, Silvia Gordillo
Proceedings of the Argentinean Symposium on Software Engineering (ASSE'10), pp.568-577, Buenos Aires, Argentina, August 2010, Sociedad Argentina de Investigación Operativa
[bib, doi]
Scoping Strategies for Distributed Aspects
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
Science of Computer Programming, volume 75, number 12, pp.1235-1261, December 2010, Elsevier
[bib]
Software Process Model Blueprints
Julio Ariel Hurtado Alegr\́ia, Alejandro Lagos, Alexandre Bergel, María Cecilia Bastarrica
Proceedings of the International Conferences on Software Processes (ICSP'10), July 2010, LNCS Springer Verlag
[bib, pdf]
Towards An Open Trace-Baced Mechanism
Paul Leger, É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
[bib]
Visualizing Dynamic Metrics with Profiling Blueprints
Alexandre Bergel, Romain Robbes, Walter Binder
Proceedings of the 48th International Conference on Objects, Models, Components, Patterns (TOOLS EUROPE'10), July 2010, LNCS Springer Verlag
[bib]
Visualizing and Assessing a Compositional Approach of Business Process Design
Sébastien Mosser, Alexandre Bergel, Mireille Blay-Fornarino
Proceedings of 9th International Conference on Software Composition (SC'10), July 2010, LNCS Springer Verlag

2009

 

[bib, pdf]
Adding State and Visibility Control to Traits using Lexical Nesting
Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter
Proceedings of the 23rd European Conference on Object-oriented Programming (ECOOP 2009), number 5653, pp.220-243, Genova, Italy, July 2009, Springer
[bib, doi, pdf]
Beyond Static and Dynamic Scope
É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, Éric Tanter
IEEE Software, volume 26, number 6, pp.78-95, November-December 2009, IEEE Computer Society Press
[bib]
Editorial for Special Section on Dependencies and Interactions with Aspects
Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink
Transactions on Aspect-Oriented Software Development, volume 5490, pp.133-134, 2009, Springer-Verlag
[bib, doi, pdf]
Expressive Scoping of Distributed Aspects
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Sü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, pdf]
FlowTalk: Language Support for Long-Latency Operations in Embedded Devices
Alexandre Bergel
IEEE Transaction on Software Engineering, 2009
[bib]
Higher-Order Aspects in Order
É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, É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, É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, É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 8th International Symposium on Software Composition (SC 2009)
Alex Bergel, Johan Fabry
volume 5634, Zürich, Switzerland, July 2009, Springer-Verlag
[bib, doi]
Proceedings of the 4th workshop on Domain-Specific Aspect Languages
Thomas Cleenewerck, Johan Fabry, Anne-Francoise Lemeur, Jacques Noyé, Éric Tanter
Proceedings of the 4th workshop on Domain-Specific Aspect Languages, Charlottesville, VA, USA, March 2009, ACM Press
[bib, pdf]
Reusing and Composing Tests with Traits
Stéphane Ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou
Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS-Europe'09), pp.252-271, June 2009
[bib]
Reverse Generics -- Parametrization After the Fact
Alexandre Bergel, Lorenzo Bettini
Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT'09), pp.39-46, July 2009
[bib, doi, pdf]
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 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
Éric Tanter, Johan Fabry
Journal of Universal Computer Science, volume 15, number 3, pp.620-647, 2009
[bib]
SQUALE -- Software QUALity Enhancement
Alexandre Bergel, Simon Denier, Stéphane Ducasse, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues, Françoise Balmasand, Karine Mordal-Manet
Proceedings of the 13th European Conference on Software Maintenance and Reengineering (CSMR 2009), European Projects Track, March 2009
[bib, doi, pdf]
Tackling Software Navigation Issues of the Smalltalk IDE
David Röthlisberger, Oscar Nierstrasz, Stéphane Ducasse, Alexandre Bergel
Proceedings of International Workshop on Smalltalk Technologies (IWST 2009), pp.58-67, Brest, France, 2009, ACM

2008

 

[bib, doi, pdf]
A Lightweight and Extensible AspectJ Implementation
Rodolfo Toledo, Éric Tanter
Journal of Universal Computer Science, volume 14, number 21, pp.3517-3533, 2008
[bib, doi, pdf]
Controlling Aspect Reentrancy
É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
Éric Tanter
Proceedings of the 4th ACM Dynamic Languages Symposium (DLS 2008), Paphos, Cyprus, July 2008, ACM Press
[bib, doi]
Context distribution for supporting composition of applications in ubiquitous computing
Carlos Noguera, Ellen Van Paesschen, Carlos Parra, Johan Fabry
Proceedings of the 23rd ACM Symposium on Applied Computing (SAC 2008), pp.1647-1648, Fortaleza, Ceara, Brazil, 2008, ACM
[bib, doi]
Creating Sophisticated Development Tools with OmniBrowser
Alexandre Bergel, Stéphane Ducasse, Colin Putney, Roel Wuyts
Journal of Computer Languages, Systems and Structures, volume 34, number 2-3, pp.109-129, 2008, Elsevier
[bib, doi, pdf]
Dynamic Languages and Applications, Report on the Workshop Dyla'07 at ECOOP 2007
Alexandre Bergel, Wolfgang De Meuter, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts
Object-Oriented Technology. ECOOP 2007 Workshop Reader, volume 4906, pp.7-12, 2008, Springer-Verlag
[bib, doi, pdf]
Expressive Scoping of Dynamically-Deployed Aspects
É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, É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, Éric Tanter
Proceedings of the 23rd ACM Symposium on Applied Computing (SAC 2008), volume 1, pp.266-270, Fortaleza, Ceará, Brazil, March 2008
[bib, pdf]
Enhanced Dependency Structure Matrix for Moose
Alexandre Bergel, Stéphane Ducasse, Jannik Laval, Romain Peirs
Proceedings of FAMOOSr 2008 (2nd International Workshop on FAMIX and Moose in Reengineering), October 2008
[bib, doi, pdf]
Flexible Metaprogramming and AOP in Java
Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé
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, É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, Éric Tanter, Holger Mü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, É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, É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 Noyé, Johan Fabry, Anne-Francoise Lemeur, Éric Tanter
Summary of the 3rd workshop on Domain-Specific Aspect Languages, Brussels, Belgium, April 2008, ACM Press
[bib, doi, pdf]
Stateful Traits and their Formalization
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts
Journal of Computer Languages, Systems and Structures, volume 34, number 2, pp.83-108, 2008, Elsevier
[bib, pdf]
Seaside -- Advanced Composition and Control Flow for Dynamic Web Applications
Alexandre Bergel, Stéphane Ducasse, Lukas Renggli
ERCIM News, volume 72, January 2008
[bib, doi, pdf]
Towards Resilient Partitioning of Pervasive Computing Services
Jorge Vallejos, Elisa Gonzalez Boix, Engineer Bainomugisha, Pascal Costanza, Wolfgang De Meuter, É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 Röthlisberger, Marcus Denker, Éric Tanter
Journal of Computer Languages, Systems and Structures, volume 34, number 2-3, pp.46-65, July-October 2008, Elsevier

2007

 

[bib]
AmI: The Future is Now -- a position paper
Johan Fabry, Carlos Noguera
Proceedings of the 3rd ECOOP workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4AmI 2007), pp.13-18, Berlin, Germany, July 2007, Technical Report 2007-12, Technische Universität Berlin
[bib, doi]
A Unified Mechanism for Improving Advanced Transaction Management in Web Services
Sergio Castro, Johan Fabry, Kim Mens, Theo D'Hondt
Proceedings of the XXVI International Conference of the Chilean Computer Science Society, pp.30-39, Iquique, Chile, November 2007, IEEE Computer Society
[bib, pdf]
Classboxes: Supporting Unanticipated Variation Points in the Source Code
Alexandre Bergel, Claus Lewerentz, Liam O'Brien
Proceedings of the 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE), October 2007
[bib, doi, pdf]
Classboxes --- Controlling Visibility of Class Extensions
Alexandre Bergel
it- Information Technology, volume 49, number 4, July 2007, Oldenbourg Wissenschaftsverlag
[bib, doi]
ECOOP 2007 Workshop Reader
Frans Sanen, Ruzanna Chitchyan, Lodewijk Bergmans, Johan Fabry, Mario Südholdt, Katharina Mehner
volume 4906, pp.26-39, 2007, Springer-Verlag
[bib, doi, pdf]
Mirages: Behavioral Intercession in a Mirror-based Architecture
Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, É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]
Meta-Driven Browsers
Alexandre Bergel, Stéphane Ducasse, Colin Putney, Roel Wuyts
Advances in Smalltalk --- Proceedings of 14th International Smalltalk Conference (ISC 2006), volume 4406, pp.134-156, August 2007, Springer
[bib, doi, pdf]
On Dynamically-Scoped Crosscutting Mechanisms
É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 Mügge, Pascal Cherrier, Wolfgang De Meuter, É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
Hernán Astudillo, É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 Mügge, É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 Universität Berlin
[bib, pdf]
Programming Paradigms and Mind Metaphors: Convergence and Cross-Fertilization in the Study of Cognition
Diego Cosmelli, Jorge Soto-Andrade, É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, É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 Universität Berlin
[bib, doi, pdf]
ReLAx: Implementing KALA over the Reflex AOP Kernel
Johan Fabry, É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, Éric Tanter, José 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 Noyé, Éric Tanter
Summary of the 2nd workshop on Domain-Specific Aspect Languages, Vancouver, Canada, March 2007, ACM Press
[bib, doi, pdf]
Stateful Traits
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts
Advances in Smalltalk --- Proceedings of 14th International Smalltalk Conference (ISC 2006), volume 4406, pp.66-90, August 2007, Springer
[bib, pdf]
The Debuggable Interpreter Design Pattern
Jan Vranỳ, Alexandre Bergel
In Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007), July 2007
[bib, pdf]
Unanticipated Partial Behavioral Reflection
David Röthlisberger, Marcus Denker, É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
[bib, doi, pdf]
User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits
Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz
Proceedings of 22nd International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07), pp.171-190, Montreal, Quebec, Canada, October 2007, ACM Press

2006

 

[bib, pdf]
A Versatile Kernel for Distributed AOP
É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
É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
Éric Tanter
Proceedings of AOSD Workshop on Open and Dynamic Aspect Languages, Bonn, Germany, 2006
[bib, pdf]
Analyzing Interactions of Structural Aspects
Benoit Kessler, Éric Tanter
Proceedings of ECOOP Workshop on Aspects, Dependencies and Interactions, Nantes, France, July 2006
[bib, pdf]
Aspectboxes --- Controlling the Visibility of Aspects
Alexandre Bergel, Robert Hirschfeld, Siobhàn Clarke, Pascal Costanza
In Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2006), pp.29-38, September 2006
[bib, pdf]
Context-Aware Aspects
É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]
Controlling the Visibility of Changes in Java with Classboxes
Alexandre Bergel
Proceedings of the Objekty Conference 2006, Prague, Czech Republic, November 2006
Short paper, invited keynote speaker
[bib]
Declarative composition of structural aspects
É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, É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, É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, pdf]
FacetS: First Class Entities for an Open Dynamic AOP Language
Alexandre Bergel
Proceedings of the Open and Dynamic Aspect Languages Workshop, March 2006
[bib, doi]
KALA: Kernel Aspect Language for Advanced Transactions
Johan Fabry, Theo D'Hondt
Proceedings of the 2006 ACM Symposium on Applied Computing, pp.1615-1620, Dijon, France, 2006, ACM Press
[bib, doi, pdf]
On Dynamically-Scoped Crosscutting Mechanisms
É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, pdf]
Prototyping Languages, Related Constructs and Tools with Squeak
Alexandre Bergel, Marcus Denker
Proceedings of the ECOOP'06 Workshop on Revival of Dynamic Languages, July 2006
[bib, doi, pdf]
Runtime Bytecode Transformation for Smalltalk
Marcus Denker, Stéphane Ducasse, É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, Éric Tanter, José 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
Éric Tanter, Jacques Noyé
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, pdf]
Analyzing Module Diversity
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
Journal of Universal Computer Science, volume 11, number 10, pp.1613-1644, November 2005
[bib]
Classbox/J: Controlling the Scope of Change in Java
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
Proceedings of the 20th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2005), pp.177-189, San Diego, California, USA, October 2005, ACM Press
ACM SIGPLAN Notices , 40(11)
[bib, pdf]
Classboxes --- Controlling Visibility of Class Extensions
Alexandre Bergel
November 2005, University of Bern, (PhD Thesis)
[bib, doi, pdf]
Classbox/J: Controlling the Scope of Change in Java
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
Proceedings of 20th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'05), pp.177-189, New York, NY, USA, 2005, ACM Press
[bib, doi, pdf]
Classboxes: Controlling Visibility of Class Extensions
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts
Journal of Computer Languages, Systems and Structures, volume 31, number 3-4, pp.107-126, December 2005, Elsevier
[bib, doi, pdf]
Flexible Object Encapsulation for Ambient-Oriented Programming
Wolfgang De Meuter, É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 réflexion comportementale partielle comme infrastructure de programmation par aspects - Étude du cas des coupes dynamiques
Leonardo Rodríguez, Éric Tanter, Jacques Noyé
RSTI L'Objet, Programmation par aspects, pp.31-52, November 2005
[bib, pdf]
Mirror Methods --- Reconciling Reflection and Extreme Encapsulation
Éric Tanter
ECOOP Workshop on Object Technology for Ambient Intelligence, Glasgow, UK, July 2005
[bib, pdf]
Metalevel Facilities for Multi-Language AOP
Éric Tanter
2nd European Interactive Workshop on Aspects in Software (EIWAS 2005), Brussels, Belgium, September 2005
[bib, pdf]
Mise en symbiose des traits et des classboxes: Application à l'expression des collaborations
Florian Minjat, Alexandre Bergel, Pierre Cointe, Stéphane Ducasse
Actes de Langages et Modèles à Objets (LMO'05), volume 11, pp.33-46, Bern, Switzerland, 2005
[bib, doi, pdf]
On the Revival of Dynamic Languages
Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, Stéphane Ducasse, Markus Gaelli, Roel Wuyts
Proceedings of Software Composition 2005, volume 3628, pp.1-13, 2005, LNCS 3628
Invited paper
[bib, pdf]
Runtime Bytecode Manipulation in Smalltalk
Marcus Denker, Stéphane Ducasse, Éric Tanter
European Smalltalk User Group Research Conference, 2005
Superseded by CLSS 2006
[bib, pdf]
Scoped and Dynamic Aspects with Classboxes
Alexandre Bergel, Stéphane Ducasse
Revue des Sciences et Technologies de l'Information (RSTI) --- L'Objet (Numéro spécial : Programmation par aspects), volume 11, number 3, pp.53-68, November 2005, Hermes, Paris
[bib, pdf]
Supporting Unanticipated Changes with Traits and Classboxes
Alexandre Bergel, Stéphane Ducasse
Net.ObjectDays (NODE'05), pp.61-75, Erfurt, Germany, September 2005

2004

 

[bib]
A Concern-based Approach to Software Evolution
Peter Ebraert, Éric Tanter
Proceedings of the AOSD Workshop on Dynamic Aspects (DAW 2004), Lancaster, UK, March 2004
[bib, pdf]
Classboxes: Controlling Visibility of Class Extensions
Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts
number IAM-04-003, Universität Bern, Switzerland, June 2004, Institut für Informatik
[bib, pdf]
From Metaobject Protocols to Versatile Kernels for Aspect-Oriented Programming
Éric Tanter
November 2004, University of Nantes and University of Chile, (PhD Thesis)
[bib, doi]
Language-Independent Detection of Object-Oriented Design Patterns
Johan Fabry, Tom Mens
Science of Computer Programming, volume 30, number 1-2, pp.21-33, April-July 2004, Elsevier
[bib, pdf]
Motivation and Requirements for a Versatile AOP Kernel
Éric Tanter, Jacques Noyé
1st European Interactive Workshop on Aspects in Software (EIWAS 2004), Berlin, Germany, September 2004
[bib, pdf]
Prototalk: an Environment for Teaching, Understanding, Designing and Prototyping Object-Oriented Languages
Alexandre Bergel, Christophe Dony, Stéphane Ducasse
Proceedings of 12th International Smalltalk Conference (ISC'04), pp.107-130, September 2004
[bib, pdf]
Sequential Object Monitors
Denis Caromel, Luis Mateu, É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 Rodríguez, Éric Tanter, Jacques Noyé
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
Éric Tanter, Peter Ebraert
Proceedings of the ECOOP Workshop on Advancing the State-of-the-Art in Runtime Inspection, Darmstadt, Germany, July 2003
[bib]
Classboxes: A Minimal Module Model Supporting Local Rebinding
Alexandre Bergel, Stéphane Ducasse, Roel Wuyts
Proceedings of the Joint Modular Languages Conference (JMLC'03), volume 2789, pp.122-131, 2003, Springer-Verlag
[bib, doi, pdf]
Classboxes: A Minimal Module Model Supporting Local Rebinding
Alexandre Bergel, Stéphane Ducasse, Roel Wuyts
Proceedings of Joint Modular Languages Conference (JMLC'03), volume 2789, pp.122-131, 2003, Springer-Verlag
Best Paper Award
[bib, doi, pdf]
Partial Behavioral Reflection: Spatial and Temporal Selection of Reification
Éric Tanter, Jacques Noyé, 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)
[bib, pdf]
The Classbox Module System
Alexandre Bergel, Stéphane Ducasse, Roel Wuyts
Proceedings of the ECOOP '03 Workshop on Object-oriented Language Engineering for the Post-Java Era, July 2003

2002

 

[bib, pdf]
Altering Java Semantics via Bytecode Manipulation
Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José 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
Éric Tanter
12th ECOOP Workshop of PhD Students in Object-Oriented Systems (PhDOOS 2002), Málaga, Spain, June 2002
[bib, pdf]
Towards Transparent Adaptation of Migration Policies
Éric Tanter, Michaël Vernaillen, José Piquer
8th ECOOP Workshop on Mobile Object Systems (EWMOS 2002), Málaga, Spain, June 2002

2001

 

[bib, pdf]
IC2D: Interactive Control and Debugging of Distribution
Françoise Baude, Alexandre Bergel, Denis Caromel, Fabrice Huet, Olivier Nano, Julien Vayssière
Proceedings of the Third International Conference, LSSC 2001, volume 2179, pp.193-200, Sozopol, Bulgaria, June 2001, Springer-Verlag
[bib, pdf]
Managing References upon Object Migration: Applying Separation of Concerns
Éric Tanter, José 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 réflexive de Java portable, souple et performante
Éric Tanter, Noury Bouraqadi, Jacques Noyé
Proceedings of Languages et Modèles à Objets (LMO 2001), volume 7, number 1-2, pp.165-180, 2001, Hermes
[bib, pdf]
Reflex -- Towards an Open Reflective Extension of Java
Éric Tanter, Noury Bouraqadi, Jacques Noyé
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