A tactic-driven system for building proofs. - Laurent Hascoët (SPLT, 1988)

Partial Evaluation with Inference Rules. - Laurent Hascoët (New Gener. Comput., 1988)

Automatic Placement of Communications in Mesh-Partitioning Parallelization. - Laurent Hascoët (PPoPP, 1997)

Tools for OpenMP application development: the POST project. - Laksono Adhianto; François Bodin; Barbara M. Chapman; Laurent Hascoët; Aron Kneer; David Lancaster; I. C. Wolton; M. Wirtz (Concurr. Pract. Exp., 2000)

A method for automatic placement of communications in SPMD parallelisation. - Laurent Hascoët (Parallel Comput., 2001)

Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction. - Laurent Hascoët; Mariano Vázquez; Alain Dervieux (ICCSA (2), 2003)

Reverse automatic differentiation for optimum design: from adjoint state assembly to gradient computation. - Francois Courty; Alain Dervieux; Bruno Koobus; Laurent Hascoët (Optim. Methods Softw., 2003)

"To be recorded" analysis in reverse-mode automatic differentiation. - Laurent Hascoët; Uwe Naumann; Valérie Pascual (Future Gener. Comput. Syst., 2005)

The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation. - Benjamin Dauvergne; Laurent Hascoët (International Conference on Computational Science (4), 2006)

Data Representation Alternatives in Semantically Augmented Numerical Models. - Michael W. Fagan; Laurent Hascoët; Jean Utke (SCAM, 2006)

Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation - Laurent Hascoët; Mauricio Araya-Polo (CoRR, 2006)

Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE - Moulay Hicham Tber; Laurent Hascoët; Arthur Vidard; Benjamin Dauvergne (CoRR, 2007)

A Framework for Proving Correctness of Adjoint Message-Passing Programs. - Uwe Naumann; Laurent Hascoët; Chris Hill; Paul D. Hovland; Jan Riehme; Jean Utke (PVM/MPI, 2008)

Cheaper adjoints by reversing address computations. - Laurent Hascoët; Jean Utke; Uwe Naumann (Sci. Program., 2008)

Toward adjoinable MPI. - Jean Utke; Laurent Hascoët; Patrick Heimbach; Chris Hill; Paul D. Hovland; Uwe Naumann (IPDPS, 2009)

Interpretative adjoints for numerical simulation codes using MPI. - Michel Schanen; Uwe Naumann; Laurent Hascoët; Jean Utke (ICCS, 2010)

Structure in Optimization: Factorable Programming and Functions. - Trond Steihaug; Shahadat Hossain; Laurent Hascoët (ISCIS, 2012)

Structured computation in optimization and algorithmic differentiation. - Laurent Hascoët; Shahadat Hossain; Trond Steihaug (ACM Commun. Comput. Algebra, 2012)

The Tapenade automatic differentiation tool: Principles, model, and specification. - Laurent Hascoët; Valérie Pascual (ACM Trans. Math. Softw., 2013)

Programming language features, usage patterns, and the efficiency of generated adjoint code. - Laurent Hascoët; Jean Utke (Optim. Methods Softw., 2016)

Algorithmic Differentiation of Code with Multiple Context-Specific Activities. - Jan Christian Hückelheim; Laurent Hascoët; Jens-Dominik Müller (ACM Trans. Math. Softw., 2017)

Source-to-source adjoint Algorithmic Differentiation of an ice sheet model written in C. - Laurent Hascoët; Mathieu Morlighem (Optim. Methods Softw., 2018)

Mixed-language automatic differentiation. - Valérie Pascual; Laurent Hascoët (Optim. Methods Softw., 2018)

Adjoint computations by algorithmic differentiation of a parallel solver for time-dependent PDEs. - José I. Cardesa; Laurent Hascoët; Christophe Airiau (J. Comput. Sci., 2020)

Seeding and adjoining zero-halo partitioned parallel scientific codes. - Pavanakumar Mohanamuraly; Laurent Hascoët; Jens-Dominik Müller (Optim. Methods Softw., 2020)

Automatic Differentiation of Parallel Loops with Formal Methods. - Jan Hückelheim; Laurent Hascoët (ICPP, 2022)

Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. - Jan Hückelheim; Laurent Hascoët (ACM Trans. Math. Softw., 2022)

Understanding Automatic Differentiation Pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (CoRR, 2023)

SICOPOLIS-AD v2: tangent linear and adjoint modeling framework for ice sheet modeling enabled by automatic differentiation tool Tapenade. - Shreyas Sunil Gaikwad; Laurent Hascoët; Sri Hari Krishna Narayanan; Liz Curry-Logan; Ralf Greve; Patrick Heimbach (J. Open Source Softw., 2023)

Algorithmic Differentiation for adjoint sensitivity calculation in plasma edge codes. - Stefano Carli; Laurent Hascoët; Wouter Dekeyser; Maarten Blommaert (J. Comput. Phys., 2023)

Profiling checkpointing schedules in adjoint ST-AD. - Laurent Hascoët; Jean-Luc Bouchot; Shreyas Sunil Gaikwad; Sri Hari Krishna Narayanan; Jan Hückelheim (CoRR, 2024)

A taxonomy of automatic differentiation pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (WIREs Data. Mining. Knowl. Discov., 2024)

Data-flow Reversal and Garbage Collection. - Laurent Hascoët (ACM Trans. Math. Softw., 2024)

MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade. - Shreyas Sunil Gaikwad; Sri Hari Krishna Narayanan; Laurent Hascoët; Jean-Michel Campin; Helen Pillar; An Nguyen; Jan Hückelheim; Paul D. Hovland; Patrick Heimbach (Future Gener. Comput. Syst., 2025)