BACK TO INDEX

Publications of Nicolas Tabareau
Thesis
  1. Nicolas Tabareau. Managing Logical and Computational Complexity using Program Transformations. Habilitation à diriger des recherches, université de nantes, November 2016. Keyword(s): Type theory, program transformation, forcing, aspect oriented programming, Théorie des types, Coq, transformation de programme.


Articles in journal or book chapters
  1. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Effect capabilities for Haskell: Taming effect interference in monadic programming. Science of Computer Programming, 119:3-30, April 2016. Keyword(s): tagged monads, capabilities, computational effects, monads.


  2. Kevin Quirin and Nicolas Tabareau. Lawvere-Tierney sheafification in Homotopy Type Theory. Journal of Formalized Reasoning, 9(2), 2016.


  3. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Effect capabilities for Haskell: Taming effect interference in monadic programming. Science of Computer Programming, November 2015.


  4. André Hirschowitz, Tom Hirschowitz, and Nicolas Tabareau. Wild omega-Categories for the Homotopy Hypothesis in Type Theory. Leibniz International Proceedings in Informatics (LIPIcs), 38:226-240, 2015. Keyword(s): Homotopy Type theory, Omega-categories, Coinduction, Homotopy hypothesis.


  5. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. Transactions on Aspect-Oriented Software Development, 2014.


  6. Éric Tanter, Ismael Figueroa, and Nicolas Tabareau. Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications. Science of Computer Programming, 80(1):311-342, February 2014.


  7. Nicolas Tabareau, Jean-Jacques Slotine, and Quang-Cuong Pham. How synchronization protects from noise.. PLoS Computational Biology, 6(1):e1000637, 2010.


Conference articles
  1. Simon Boulier, Pierre-Marie Pédrot, and Nicolas Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, Gourette, France, January 2017.


  2. Simon Boulier, Pierre-Marie Pédrot, and Nicolas Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), Paris, France, pages 182 - 194, January 2017. Keyword(s): Dependent type theory, Program translation.


  3. Pierre-Evariste Dagand, Nicolas Tabareau, and Éric Tanter. Partial Type Equivalences for Verified Dependent Interoperability. In ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, pages 298-310, September 2016.


  4. Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, and Nicolas Tabareau. The Definitional Side of the Forcing. In Logics in Computer Science, New York, United States, May 2016. Keyword(s): Effects, Coq, Forcing, Dependent type theory, Inductive types.


  5. Éric Tanter and Nicolas Tabareau. Gradual Certified Programming in Coq. In 11th ACM Dynamic Languages Symposium (DLS 2015), Pittsburgh, United States, October 2015.


  6. Rémi Douence and Nicolas Tabareau. Lazier Imperative Programming. In Principles and Practice of Declarative Programming (PPDP), Canterbury, United Kingdom, September 2014.


  7. Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, and Éric Tanter. Compositional Reasoning About Aspect Interference. In 13th International Conference on Modularity (Modularity'14), Lugano, Switzerland, April 2014.


  8. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Effect Capabilities For Haskell. In Brazilian Symposium on Programming Languages (SBLP), Maceio, Brazil, September 2014.


  9. Matthieu Sozeau and Nicolas Tabareau. Universe Polymorphism in Coq. In Interactive Theorem Proving, Vienna, Austria, July 2014.


  10. Nicolas Tabareau, Mario Südholt, and Éric Tanter. Aspectual Session Types. In Modularity - 13th International Conference on Modularity, Lugano, Switzerland, April 2014.


  11. Ismael Figueroa, Nicolas Tabareau, and Éric Tanter. Taming aspects with monads and membranes. In FOAL'13: Foundations of aspect-oriented languages, Fukuoka, Japan, March 2013. ACM.


  12. Nicolas Tabareau, Ismael Figueroa, and Éric Tanter. A Typed Monadic Embedding of Aspects. In 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Fukuoka, Japan, March 2013.


  13. Nicolas Tabareau, Éric Tanter, and Ismael Figueroa. Anti-Unification with Type Classes. In Journées Francophones des Langages Applicatifs (JFLA), Aussois, France, February 2013.


  14. Ismael Figueroa, Éric Tanter, and Nicolas Tabareau. A Practical Monadic Aspect Weaver. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.


  15. Guilhem Jaber, Nicolas Tabareau, and Matthieu Sozeau. Extending Type Theory with Forcing. In LICS 2012 : Logic In Computer Science, Dubrovnik, Croatia, pages _, June 2012.


  16. Nicolas Tabareau. A Monadic Interpretation of Execution Levels and Exceptions for AOP. In Modularity: AOSD'12, Postdam, Germany, March 2012. ACM Press.


  17. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Taming Aspects with Membranes. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.


  18. Guilhem Jaber and Nicolas Tabareau. The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code. In Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Toronto, Canada, June 2011. Keyword(s): Logical Relation, Biorthogonality, Low Level Language, Polymorphism.


  19. Nicolas Tabareau. Aspect oriented programming: a language for 2-categories. In Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Porto de Galinhas, Brazil, pages 13-17, 2011. ACM. Keyword(s): 2-category, AOP.


  20. Guilhem Jaber and Nicolas Tabareau. Krivine realizability for compiler correctness. In Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Edinburgh, United Kingdom, July 2010. Keyword(s): compiler correctness, realizability, secd.


  21. Nicolas Tabareau. A theory of distributed aspects. In ACM, editor, 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Rennes, Saint-Malo, France, pages 133-144, 2010.


  22. Paul-André Melliès, Nicolas Tabareau, and Christine Tasson. An explicit formula for the free exponential modality of linear logic. In Automata, Languages and Programming 36th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Rhodes Grèce, pages 247-260, July 2009. Springer.


Internal reports
  1. Rémi Douence and Nicolas Tabareau. Lazier Imperative Programming. Research Report RR-8569, INRIA, July 2014.


  2. Nicolas Tabareau and Jean-Jacques Slotine. Contraction analysis of nonlinear random dynamical systems. Research Report RR-8368, INRIA, 2013.


  3. Nicolas Tabareau. Aspect Oriented Programming: a language for 2-categories. Research Report RR-7527, INRIA, February 2011. Keyword(s): Languages, Theory, design.


  4. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Exploring Membranes for Controlling Aspects. Research Report RR-7739, INRIA, September 2011.


Miscellaneous
  1. Pierre-Marie Pédrot and Nicolas Tabareau. An Effectful Way to Eliminate Addiction to Dependence. Note: Working paper or preprint, January 2017.


  2. Matthieu Sozeau and Nicolas Tabareau. Univalence for free. Note: Working paper or preprint, February 2013.


  3. Matthieu Sozeau, Nicolas Tabareau, and Guilhem Jaber. Forcing in Coq, September 2012. Note: A plugin for Coq that implements a generic Forcing translation for any given set of conditions. Includes an example of a step-indexed model of pure lambda calculus.


  4. Guilhem Jaber and Nicolas Tabareau. Decomposing Logical Relations with Forcing. , 2011.


  5. Hervé Grall and Nicolas Tabareau. Linear logic as a foundation for service-oriented computing. , 2010.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html