Publications of Éric Tanter by year (see by type) [pdf]

Year 2009

  1. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt. Expressive Scoping of Distributed Aspects. In Proc. 8th International Conference on Aspect-Oriented Software Development (AOSD), pp. 27-38, Mar 2009. Charlottesville, Virginia, USA. ACM Press, New York, NY, USA. ISBN 978-1-60558-442. [download] [bibtex] [abstract]

  2. Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter, ed. Proceedings of the 4th Workshop on Domain-Specific Aspect Languages (DSAL), Mar 2009. Charlottesville, Virginia, USA. ACM Press, New York, NY, USA. ISBN 978-1-60558-455-3. [download] [bibtex]

  3. Éric Tanter, Johan Fabry. Supporting Composition of Structural Aspects in an AOP Kernel. Journal of Universal Computer Science (JUCS) 15(3):620-647, Feb 2009. Graz University of Technology, Graz, Austria. ISSN 0948-695X. [download] [bibtex] [abstract]

  4. Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Elisa Gonzalez Boix, Éric Tanter, Wolfgang De Meuter. Mirror-based Reflection in AmbientTalk. Software: Practice and Experience 39(7):661-699, May 2009. John Wiley & Sons, Hoboken, NJ, USA. ISSN 0038-0644. [download] [bibtex] [abstract]

  5. Johan Fabry, Éric Tanter, Theo D'Hondt. Infrastructure for Domain-Specific Aspect Languages: The ReLAx Case Study. IET Software 3(3):238-254, Jun 2009. The Institution of Engineering and Technology, Stevenage, UK. ISSN 1751-8806. [download] [bibtex] [abstract]

  6. Engineer Bainomugisha, Jorge Vallejos, Éric Tanter, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt. Resilient Actors: A Runtime Partitioning Model for Pervasive Computing Services. In Proc. 6th ACM International Conference on Pervasive Services (ICPS), pp. 31-40, Jul 2009. London, UK. ACM Press, New York, NY, USA. ISBN 978-1-60558-644-1. [download] [bibtex] [abstract]

  7. Dave Clarke, Pascal Costanza, Éric Tanter. Resilient Actors: A Runtime Partitioning Model for Pervasive Computing Services. In Proc. International Workshop on Context-Oriented Programming (COP), pp. 1-6, Jul 2009. Genova, Italy. ACM Press, New York, NY, USA. ISBN ISBN:978-1-60558-538-3. [download] [bibtex] [abstract]

  8. Guillaume Pothier, Éric Tanter. Back to the Future: Omniscient Debugging. IEEE Software 26(6):78-85, Nov 2009. IEEE Press, Piscataway, NJ, USA. ISSN 0740-7459. [download] [bibtex] [abstract]

  9. Éric Tanter. Beyond Static and Dynamic Scope. In Proc. 5th Dynamic Languages Symposium (DLS), pp. 3-14, Oct 2009. Orlando, Florida. ACM Press, New York, NY, USA. ISBN 978-1-60558-769-1. [download] [bibtex] [abstract]

Year 2010

  1. Éric Tanter. Execution Levels for Aspect-Oriented Programming. In Proc. 9th International Conference on Aspect-Oriented Software Development (AOSD), pp. 37-48, Mar 2010. Rennes and Saint-Malo, France. ACM Press, New York, NY, USA. ISBN 978-1-60558-958-9. Best Paper Award. [download] [bibtex] [abstract]

  2. Rodolfo Toledo, Paul Leger, Éric Tanter. AspectScript: Expressive Aspects for the Web. In Proc. 9th International Conference on Aspect-Oriented Software Development (AOSD), pp. 13-24, Mar 2010. Rennes and Saint-Malo, France. ACM Press, New York, NY, USA. ISBN 978-1-60558-958-9. [download] [bibtex] [abstract]

  3. Éric Tanter, Johan Fabry, Remi Douence, Jacques Noye, Mario Sudholt. Scoping Strategies for Distributed Aspects. Science of Computer Programming (SCICO) 75(12):1235-1261, Dec 2010. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. http://dx.doi.org/10.1016/j.scico.2010.06.011. [bibtex] [abstract]

  4. Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni. Composition of Dynamic Analysis Aspects. In Proc. 9th International Conference on Generative Programming and Component Engineering (GPCE), pp. 113-122, Oct 2010. Eindhoven, The Netherlands. ACM Press, New York, NY, USA. ISBN 978-1-4503-0154-1. [download] [bibtex] [abstract]

  5. Jonathan Aldrich, Karl Naden, Éric Tanter. Modular Composition and State Update in Plaid. In Proc. 4 Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), pp. article 4, Jun 2010. Maribor, Slovenia. ACM Press, New York, NY, USA. ISBN 978-1-4503-0535-8. [download] [bibtex] [abstract]

Year 2011

  1. Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, Akira Yokokawa, Éric Tanter. Towards a Domain-Specific Aspect Language for Dynamic Program Analysis. In Proc. 6th Workshop on Domain-Specific Aspect Languages (DSAL), pp. 9-11, Mar 2011. Porto do Galinhas, Brazil. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  2. Ismael Figueroa, Éric Tanter. A Semantics for Execution Levels with Exceptions. In Proc. 10th Foundations of Aspect-Oriented Languages (FOAL), pp. 7-11, Mar 2011. Porto do Galinhas, Brazil. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  3. Philippe Moret, Walter Binder, Éric Tanter. Polymorphic Bytecode Instrumentation. In Proc. 10th International Conference on Aspect-Oriented Software Development (AOSD), pp. 129-140, Mar 2011. Porto do Galinhas, Brazil. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  4. Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt. Ambient Contracts: Verifying and Enforcing Ambient Object Compositions a la Carte. Personal and Ubiquitous Computing 15(4):341-351, Apr 2011. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 1617-4909. [download] [bibtex] [abstract]

  5. Grecia Galvez, Diego Cosmelli, Lino Cubillos, Paul Leger, Arturo Mena, Éric Tanter, Ximena Flores, Gina Luci, S Montoya, Jorge Soto Andrade. Estrategias Cognitivas para el Cálculo Mental. Revista Latinoamericana de Investigación en Matemática Educativa 14(1):9-40, Mar 2011. Comité Latinoamericano de Matemática Educativa, Mexico. ISSN 1665-2436. [download] [bibtex] [abstract]

  6. Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff. Permission-based Programming Languages. In Proc. 33rd ACM/IEEE International Conference on Software Engineering (ICSE), pp. 828-831, May 2011. ACM Press, New York, NY, USA. ISBN 978-1-4503-0445-0. [download] [bibtex] [abstract]

  7. Oscar Callau, Romain Robbes, Éric Tanter, David Rothlisberger. How Developers use the Dynamic Features of Programming Languages: The Case of Smalltalk. In Proc. 8th IEEE Working Conference on Mining Software Repositories (MSR), pp. 23-32, May 2011. Honolulu, Hawaii, USA. ACM Press, New York, NY, USA. Best Paper Award. [download] [bibtex] [abstract]

  8. Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich. Gradual Typestate. In Proc. European Conference on Object-Oriented Programming (ECOOP), pp. 459-483, Jul 2011. Springer-Verlag, Berlin/Heidelberg, Germany. Lecture Notes in Computer Science vol. 6813. [bibtex] [abstract]

  9. Guillaume Pothier, Éric Tanter. Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. In Proc. European Conference on Object-Oriented Programming (ECOOP), pp. 558-582, Jul 2011. Springer-Verlag, Berlin/Heidelberg, Germany. Lecture Notes in Computer Science vol. 6813. [bibtex] [abstract]

  10. Rodolfo Toledo, Éric Tanter. Access Control in JavaScript. IEEE Software 28(5):76-84, 2011. IEEE Press, Piscataway, NJ, USA. ISSN 0740-7459. [download] [bibtex] [abstract]

  11. Milton Inostroza, Éric Tanter, Eric Bodden. Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs. In Proc. 19th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pp. 508-511, Sep 2011. ACM Press, New York, NY, USA. ISBN 978-1-4503-0443-6. New Ideas Track. [download] [bibtex] [abstract]

  12. Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter. First-class State Change in Plaid. In Proc. ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 713-732, Oct 2011. ACM Press, New York, NY, USA. ISBN 978-1-4503-0940-0. [download] [bibtex] [abstract]

Year 2012

  1. Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé. Aspectizing Java Access Control. IEEE Transactions on Software Engineering (TSE) 38(1):101-117, Jan 2012. IEEE Computer Society Press, Los Alamitos, CA, USA. ISSN 0098-5589. [download] [bibtex] [abstract]

  2. Éric Tanter, Kevin Sullivan, ed. Proceedings of the 11th International Conference on Aspect-Oriented Software Development (AOSD), Mar 2012. Potsdam, Germany. ACM Press, New York, NY, USA. [download] [bibtex]

  3. Éric Tanter, Nicolas Tabareau, Rémi Douence. Taming Aspects with Membranes. In Proc. 11th Foundations of Aspect-Oriented Languages (FOAL), pp. 3-8, Mar 2012. Potsdam, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  4. Ismael Figueroa, Éric Tanter, Nicolas Tabareau. A Practical Monadic Aspect Weaver. In Proc. 11th Foundations of Aspect-Oriented Languages (FOAL), pp. 21-26, Mar 2012. Potsdam, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  5. Paul Leger, Éric Tanter. A Self-Replication Algorithm to Flexibly Match Execution Traces. In Proc. 11th Foundations of Aspect-Oriented Languages (FOAL), pp. 27-32, Mar 2012. Potsdam, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  6. Romain Robbes, David Roethlisberger, Éric Tanter. Extensions during Software Evolution: Do Objects Meet Their Promise?. In James Noble (ed.), Proc. European Conference on Object-Oriented Programming (ECOOP), pp. 28-52, Jun 2012. Beijing, China. Springer-Verlag, Berlin/Heidelberg, Germany. Lecture Notes in Computer Science. [download] [bibtex] [abstract]

  7. Sebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik. Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study. In Proc. 20th IEEE International Conference on Program Comprehension (ICPC), pp. 153-162, Jun 2012. Passau, Germany. IEEE Computer Society Press, Los Alamitos, CA, USA. ISBN 978-1-4673-1216-5. [download] [bibtex] [abstract]

  8. Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik. An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented Software. In Proc. ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 683-702, Oct 2012. ACM Press, New York, NY, USA. ISBN 978-1-4503-1561-6. [download] [bibtex] [abstract]

Year 2013

  1. Oscar Callau, Éric Tanter. Programming with Ghosts. IEEE Software 30(1):74-80, Jan 2013. IEEE Press, Piscataway, NJ, USA. ISSN 0740-7459. [download] [bibtex] [abstract]

  2. Gary T. Leavens, Shigeru Chiba, Éric Tanter, ed. Transactions on Aspect-Oriented Software Development. Transactions on Aspect-Oriented Software Development (TAOSD) X, Jan 2013. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 0302-9743. [download] [bibtex]

  3. Rodolfo Toledo, Éric Tanter. Secure and Modular Access Control with Aspects. In Proc. 12th International Conference on Aspect-Oriented Software Development (AOSD), pp. 157-170, Mar 2013. Fukuoka, Japan. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  4. Nicolas Tabareau, Ismael Figueroa, Éric Tanter. A Typed Monadic Embedding of Aspects. In Proc. 12th International Conference on Aspect-Oriented Software Development (AOSD), pp. 171-184, Mar 2013. Fukuoka, Japan. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  5. Ismael Figueroa, Nicolas Tabareau, Éric Tanter. Taming Aspects with Monads and Membranes. In Proc. 12th Foundations of Aspect-Oriented Languages (FOAL), pp. 1-6, Mar 2013. Fukuoka, Japan. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  6. Éric Tanter. Taming Aspects. In Proc. 4th International Workshop on Variability and Composition (VariComp), pp. 19, Mar 2013. Fukuoka, Japan. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  7. Eric Bodden, Éric Tanter, Milton Inostroza. A Brief Tour of Join Point Interfaces. In Proc. 12th International Conference on Aspect-Oriented Software Development (AOSD), pp. 19-22, Mar 2013. Fukuoka, Japan. ACM Press, New York, NY, USA. AOSD Companion. [download] [bibtex] [abstract]

  8. Paul Leger, Éric Tanter, Rémi Douence. Modular and Flexible Causality Control on the Web. Science of Computer Programming (SCICO) 78(9):1538-1558, Sep 2013. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  9. Oscar Callau, Romain Robbes, Éric Tanter, David Roethlisberger. How (and Why) Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk. Empirical Software Engineering (EMSE) 18(6):1156-1194, Dec 2013. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 1382-3256. [download] [bibtex] [abstract]

  10. Esteban Allende, Johan Fabry, Éric Tanter. Cast Insertion Strategies for Gradually-Typed Objects. In Proc. 9th Dynamic Languages Symposium (DLS), pp. 27-36, Oct 2013. Indianapolis, Indiana. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

Year 2014

  1. Éric Tanter, Ismael Figueroa, Nicolas Tabareau. Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications. Science of Computer Programming (SCICO) 80(1):311-342, Feb 2014. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  2. Christophe Scholliers, Éric Tanter, Wolfgang De Meuter. Parallel Actor Monitors: Disentangling Task-Level Parallelism from Data Partitioning in the Actor Model. Science of Computer Programming (SCICO) 80(1):52-64, Feb 2014. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  3. Eric Bodden, Éric Tanter, Milton Inostroza. Join Point Interfaces for Safe and Flexible Decoupling of Aspects. ACM Transactions on Software Engineering and Methodology (TOSEM) 23(1):1-41, Feb 2014. ACM Press, New York, NY, USA. ISSN 1049-331X. [download] [bibtex] [abstract]

  4. Esteban Allende, Johan Fabry, Éric Tanter. Cast Insertion Strategies for Gradually-Typed Objects. ACM SIGPLAN Notices (SIGPLAN) 49(2):21-36, Feb 2014. ACM Press, New York, NY, USA. ISSN 0362-1340. (DLS 2013 article). [download] [bibtex] [abstract]

  5. Ismael Figueroa, Nicolas Tabareau, Éric Tanter. Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. Transactions on Aspect-Oriented Software Development (TAOSD) XI:145-192, Apr 2014. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 0302-9743. Lecture Notes in Computer Science, Volume 8400. [download] [bibtex] [abstract]

  6. Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Mahoz, Jörg Kienzle, ed. Transactions on Aspect-Oriented Software Development. Transactions on Aspect-Oriented Software Development (TAOSD) XI, Apr 2014. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 0302-9743. [download] [bibtex]

  7. Nicolas Tabareau, Mario Sudholt, Éric Tanter. Aspectual Session Types. In Proc. 13th International Conference on Modularity (Modularity), pp. 193-204, Apr 2014. Lugano, Switzerland. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  8. Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter. Compositional Reasoning about Aspect Interference. In Proc. 13th International Conference on Modularity (Modularity), pp. 133-144, Apr 2014. Lugano, Switzerland. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  9. Felipe Bañados, Ronald Garcia, Éric Tanter. A Theory of Gradual Effect Systems. In Proc. 19th International Conference on Functional Programming (ICFP), pp. 283-295, Sep 2014. Gothenburg, Sweden. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  10. Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, Andreas Stefik. An Empirical Study on the Impact of Static Typing on Software Maintainability. Empirical Software Engineering (EMSE) 19(5):1335-1382, Oct 2014. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 1382-3256. [download] [bibtex] [abstract]

  11. Esteban Allende, Oscar Callau, Johan Fabry, Éric Tanter, Marcus Denker. Gradual Typing for Smalltalk. Science of Computer Programming (SCICO) 96(1):52-69, Dec 2014. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  12. Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich. Foundations of Typestate-Oriented Programming. ACM Transactions on Programming Languages and Systems (TOPLAS) 36(4):article 12, Oct 2014. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  13. Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter. Confined Gradual Typing. In Proc. ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 241-270, Oct 2014. Portland, OR, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  14. Oscar Callau, Romain Robbes, Éric Tanter, David Roethlisberger, Alexandre Bergel. On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk. In Proc. 10th Dynamic Languages Symposium (DLS), pp. 135-146, Oct 2014. Portland, OR, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  15. Ismael Figueroa, Nicolas Tabareau, Éric Tanter. Effect Capabilities for Haskell. In Proc. 18th Brazilian Symposium on Programming Languages (SBLP), pp. 92-108, Oct 2014. Maceió, Brazil. Springer-Verlag, Berlin/Heidelberg, Germany. [download] [bibtex] [abstract]

  16. Felipe Bañados, Ronald Garcia, Éric Tanter. A Theory of Gradual Effect Systems. ACM SIGPLAN Notices (SIGPLAN) 49(9):283-295, Sep 2014. ACM Press, New York, NY, USA. ISSN 0362-1340. [download] [bibtex] [abstract]

  17. Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter. Confined Gradual Typing. ACM SIGPLAN Notices (SIGPLAN) 49(10):251-270, Oct 2014. ACM Press, New York, NY, USA. ISSN 0362-1340. [download] [bibtex] [abstract]

Year 2015

  1. Christophe Scholliers, Éric Tanter, Wolfgang De Meuter. Computational Contracts. Science of Computer Programming (SCICO) 98(3):360-375, Feb 2015. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  2. Paul Leger, Éric Tanter, Hiroaki Fukuda. An Expressive Stateful Aspect Language. Science of Computer Programming (SCICO) 102(1):108-141, May 2015. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  3. Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter. A Taxonomy of Domain-Specific Aspect Languages. ACM Computing Surveys (CSUR) 47(3):article 40, Apr 2015. ACM Press, New York, NY, USA. ISSN 0360-0300. 44 pages. [download] [bibtex] [abstract]

  4. Oscar Callau, Romain Robbes, Éric Tanter, David Roethlisberger, Alexandre Bergel. On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk. ACM SIGPLAN Notices (SIGPLAN) 50(2):135-146, Feb 2015. ACM Press, New York, NY, USA. ISSN 0362-1340. [download] [bibtex] [abstract]

  5. Romain Robbes, David Roethlisberger, Éric Tanter. Object-Oriented Software Extensions in Practice. Empirical Software Engineering (EMSE) 20(3):745-782, Jun 2015. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 1382-3256. [download] [bibtex] [abstract]

  6. Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, Ahmed E. Hassan. An Empirical Study of Goto in C Code from GitHub Repositories. In Proc. 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), pp. 404-414, Aug 2015. Bergamo, Italy. ACM Press, New York, NY, USA. ISBN 978-1-4503-3675-8. [download] [bibtex] [abstract]

  7. Éric Tanter, Nicolas Tabareau. Gradual Certified Programming in Coq. In Proc. 11th Dynamic Languages Symposium (DLS), pp. 26-40, Oct 2015. Pittsburg, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  8. Matías Toro, Éric Tanter. Customizable Gradual Polymorphic Effects for Scala. In Proc. 30th ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 935-953, Oct 2015. Pittsburgh, PA, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

Year 2016

  1. Ronald Garcia, Alison Clark, Éric Tanter. Abstracting Gradual Typing. In Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 429-442, 2016. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  2. Ronald Garcia, Alison Clark, Éric Tanter. Abstracting Gradual Typing. ACM SIGPLAN Notices (SIGPLAN) 51(1):429-442, Jan 2016. ACM Press, New York, NY, USA. ISSN 0362-1340. [download] [bibtex] [abstract]

  3. Ismael Figueroa, Nicolas Tabareau, Éric Tanter. Effect Capabilities for Haskell: Taming Effect Interference in Monadic Programming. Science of Computer Programming (SCICO) 119(1):3-30, Apr 2016. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  4. Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter. Partial Type Equivalences for Verified Dependent Interoperability. In Proc. 21st International Conference on Functional Programming (ICFP), pp. 298-310, Sep 2016. Nara, Japan. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  5. Felipe Bañados, Ronald Garcia, Éric Tanter. Gradual Type-and-Effect Systems. Journal of Functional Programming 26:e19, Sep 2016. Cambridge University Press, Cambridge, UK. ISSN 0956-7968. [download] [bibtex] [abstract]

  6. Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni. Polymorphic Bytecode Instrumentation. Software: Practice and Experience 46(10):1351-1380, Oct 2016. John Wiley & Sons, Hoboken, NJ, USA. ISSN 0038-0644. [download] [bibtex] [abstract]

Year 2017

  1. Nicolás Lehmann, Éric Tanter. Gradual Refinement Types. In Proc. 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 775-788, 2017. Paris, France. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  2. Raimil Cruz, Tamara Rezk, Bernard Serpette, Éric Tanter. Type Abstraction for Relaxed Noninterference. In Proc. 31st European Conference on Object-Oriented Programming (ECOOP), pp. 7:1-7:27, Jun 2017. Barcelona, Spain. Springer-Verlag, Berlin/Heidelberg, Germany. Lecture Notes in Computer Science. [download] [bibtex] [abstract]

  3. Matías Toro, Éric Tanter. A Gradual Interpretation of Union Types. In Francesco Ranzato (ed.), Proc. 24th Static Analysis Symposium (SAS), pp. 382-404, Aug 2017. New York City, NY, USA. Springer International Publishing AG, Gewerbestrasse 11, 6330 Cham, Switzerland. Lecture Notes in Computer Science vol. 10422. ISBN 978-3-319-66705-8. [download] [bibtex] [abstract]

Year 2018

  1. Johannes Bader, Jonathan Aldrich, Éric Tanter. Gradual Program Verification. In Isil Dillig, Jens Palsberg (ed.), Proc. 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pp. 25-46, Jan 2018. Los Angeles, CA, USA. Springer International Publishing AG, Gewerbestrasse 11, 6330 Cham, Switzerland. LNCS vol. 10747. ISBN 978-3-319-73720-1. [download] [bibtex] [abstract]

  2. Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter. Foundations of Dependent Interoperability. Journal of Functional Programming 28:9:1-9:44, Mar 2018. Cambridge University Press, Cambridge, UK. ISSN 0956-7968. [download] [bibtex] [abstract]

  3. Nicolas Tabareau, Éric Tanter, Matthieu Sozeau. Equivalences for Free: Univalent Parametricity for Effective Transport. In Proc. 23rd International Conference on Functional Programming (ICFP), pp. 92:1-92:29, Sep 2018. Saint Louis, MO, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  4. Martin Bodin, Tomás Diaz, Éric Tanter. A Trustworthy Mechanized Formalization of R. In Proc. 14th Dynamic Languages Symposium (DLS), pp. 13-24, Nov 2018. Boston, MA, USA. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  5. Niki Vazou, Éric Tanter, David Van Horn. Gradual Liquid Type Inference. In Proc. 33rd ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 132:1-132:25, Nov 2018. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  6. Matías Toro, Ronald Garcia, Éric Tanter. Type-Driven Gradual Security with References. ACM Transactions on Programming Languages and Systems (TOPLAS) 40(4):article 16, Nov 2018. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

Year 2019

  1. Matías Toro, Elizabeth Labrada, Éric Tanter. Gradual Parametricity, Revisited. In Proc. 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 17:1-17:30, Jan 2019. Cascais, Portugal. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  2. Nicolas Tabareau, Éric Tanter. Chemical Foundations of Distributed Aspects. Distributed Computing 32(3):193-216, Jun 2019. Springer-Verlag, Berlin/Heidelberg, Germany. ISSN 1432-0452. [download] [bibtex] [abstract]

  3. Pierre-Marie Pédrot, Nicolas Tabareau, Hans Fehrmann, Éric Tanter. A Reasonably Exceptional Type Theory. In Proc. 24th International Conference on Functional Programming (ICFP), pp. 108:1-108:29, Aug 2019. Berlin, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  4. Joseph Eremondi, Éric Tanter, Ronald Garcia. Approximate Normalization for Gradual Dependent Types. In Proc. 24th International Conference on Functional Programming (ICFP), pp. 88:1-88:30, Aug 2019. Berlin, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  5. Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter. Dijkstra Monads for All. In Proc. 24th International Conference on Functional Programming (ICFP), pp. 104:1-104:29, Aug 2019. Berlin, Germany. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  6. Raimil Cruz, Éric Tanter. Polymorphic Relaxed Noninterference. In Proc. 4th IEEE Secure Development Conference (SecDev), pp. 101-113, Sep 2019. McLean, VA, USA. IEEE Computer Society Press, Los Alamitos, CA, USA. [download] [bibtex] [abstract]

  7. Raimil Cruz, Éric Tanter. Existential Types for Relaxed Noninterference. In Proc. 17th Asian Symposium on Programming Languages and Systems (APLAS), pp. 73-92, Dec 2019. Bali, Indonesia. Springer International Publishing AG, Gewerbestrasse 11, 6330 Cham, Switzerland. LNCS vol. 11893. [download] [bibtex] [abstract]

Year 2020

  1. Tomás Diaz, Federico Olmedo, Éric Tanter. A Mechanized Formalization of GraphQL. In Proc. 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), pp. 201-214, 2020. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

  2. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jeremy Thibault. Trace-Relating Compiler Correctness and Secure Compilation. In Peter Müller (ed.), Proc. 29th European Symposium on Programming (ESOP), pp. 1-28, Apr 2020. Dublin, Ireland. Springer Nature Switzerland AG, Cham, Switzerland. [download] [bibtex] [abstract]

  3. Matías Toro, Éric Tanter. Abstracting Gradual References. Science of Computer Programming (SCICO) 197:1-65, Oct 2020. Elsevier Science, Amsterdam, The Netherlands. ISSN 0167-6423. [download] [bibtex] [abstract]

  4. Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine. Gradual Verification of Recursive Heap Data Structures. In Proc. 35th ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 228:1-228:28, 2020. ACM Press, New York, NY, USA. [download] [bibtex] [abstract]

Year 2021

  1. Nicolas Tabareau, Éric Tanter, Matthieu Sozeau. The Marriage of Univalence and Parametricity. Journal of the ACM (JACM) 68(1):5:1-5:44, Jan 2021. ACM Press, New York, NY, USA. ISSN 0004-5411. [download] [bibtex] [abstract]

  2. Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine. Gradual Program Analysis for Null Pointers. In Proc. 35th European Conference on Object-Oriented Programming (ECOOP), pp. 3:1--3:25, Jul 2021. Springer-Verlag, Berlin/Heidelberg, Germany. Lecture Notes in Computer Science. [download] [bibtex] [abstract]

  3. Stefan Malewski, Michael Greenberg, Éric Tanter. Gradually Structured Data. Proceedings of the ACM Programming Languages (PACMPL) 5(OOPSLA):126:1-126:28, Oct 2021. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  4. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jeremy Thibault. An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems (TOPLAS) 43(4):14:1--14:48, Dec 2021. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

Year 2022

  1. Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter. Gradualizing the Calculus of Inductive Constructions. ACM Transactions on Programming Languages and Systems (TOPLAS) 44(2):7:1-7:82, Jun 2022. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  2. Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese. Plausible Sealing for Gradual Parametricity. Proceedings of the ACM Programming Languages (PACMPL) 6(OOPSLA1):70:1-70:28, Apr 2022. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  3. Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter. A Reasonably Gradual Type Theory. Proceedings of the ACM Programming Languages (PACMPL) 6(ICFP):931-959, Aug 2022. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  4. Joseph Eremondi, Ronald Garcia, Éric Tanter. Propositional Equality for Gradual Dependently-Typed Programming. Proceedings of the ACM Programming Languages (PACMPL) 6(ICFP):165-193, Aug 2022. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  5. Elizabeth Labrada, Matías Toro, Éric Tanter. Gradual System F. Journal of the ACM (JACM) 69(5):38:1-38:78, Oct 2022. ACM Press, New York, NY, USA. ISSN 0004-5411. [download] [bibtex] [abstract]

Year 2023

  1. Matías Toro, David Darais, Chike Abuah, Joseph Near, Damián Árquez, Federico Olmedo, Éric Tanter. Contextual Linear Types for Differential Privacy. ACM Transactions on Programming Languages and Systems (TOPLAS) 45(2):8:1-8:69, 2023. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

Year 2024

  1. Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Theo Winterhalter. Securing Verified IO Programs Against Unverified Code in F*. Proceedings of the ACM Programming Languages (PACMPL) 8(POPL):2226-2259, Jan 2024. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  2. Matías Toro, Éric Tanter, Federico Olmedo. Gradual Differentially Private Programming. Communications of the ACM (CACM) 67(8):49-53, Aug 2024. ACM Press, New York, NY, USA. ISSN 0001-0782. [download] [bibtex]

  3. Stefan Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter. Gradual Indexed Inductive Types. Proceedings of the ACM Programming Languages (PACMPL) 8(ICFP):544-572, Aug 2024. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

Year 2025

  1. Josselin Poiret, Gaetan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter. All Your Base are Belong to Us: Sort Polymorphism for Proof Assistants. Proceedings of the ACM Programming Languages (PACMPL) 9(POPL):2253-2281, Jan 2025. ACM Press, New York, NY, USA. ISSN 2475-1421. [download] [bibtex] [abstract]

  2. Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich. Gradual C0: Symbolic Execution for Gradual Verification. ACM Transactions on Programming Languages and Systems (TOPLAS) 46(4):14:1-14:57, Jan 2025. ACM Press, New York, NY, USA. ISSN 0164-0925. [download] [bibtex] [abstract]

  3. Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter. Elucidating Type Conversions in SQL Engines. In Proc. 34th European Symposium on Programming (ESOP), pp. 408-435, 2025. Springer Nature Switzerland AG, Cham, Switzerland. [download] [bibtex] [abstract]