Laurent Hascoët

Orcid: 0000-0002-5361-0713

According to our database1, Laurent Hascoët authored at least 30 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Algorithmic Differentiation for adjoint sensitivity calculation in plasma edge codes.
J. Comput. Phys., October, 2023

SICOPOLIS-AD v2: tangent linear and adjoint modeling framework for ice sheet modeling enabled by automatic differentiation tool Tapenade.
J. Open Source Softw., March, 2023

Understanding Automatic Differentiation Pitfalls.
CoRR, 2023

2022
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops.
ACM Trans. Math. Softw., 2022

Automatic Differentiation of Parallel Loops with Formal Methods.
Proceedings of the 51st International Conference on Parallel Processing, 2022

2020
Seeding and adjoining zero-halo partitioned parallel scientific codes.
Optim. Methods Softw., 2020

Adjoint computations by algorithmic differentiation of a parallel solver for time-dependent PDEs.
J. Comput. Sci., 2020

2018
Mixed-language automatic differentiation.
Optim. Methods Softw., 2018

Source-to-source adjoint Algorithmic Differentiation of an ice sheet model written in C.
Optim. Methods Softw., 2018

2017
Algorithmic Differentiation of Code with Multiple Context-Specific Activities.
ACM Trans. Math. Softw., 2017

2016
Programming language features, usage patterns, and the efficiency of generated adjoint code.
Optim. Methods Softw., 2016

2013
The Tapenade automatic differentiation tool: Principles, model, and specification.
ACM Trans. Math. Softw., 2013

2012
Structured computation in optimization and algorithmic differentiation.
ACM Commun. Comput. Algebra, 2012

Structure in Optimization: Factorable Programming and Functions.
Proceedings of the Computer and Information Sciences III, 2012

2010
Interpretative adjoints for numerical simulation codes using MPI.
Proceedings of the International Conference on Computational Science, 2010

2009
Toward adjoinable MPI.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008
Cheaper adjoints by reversing address computations.
Sci. Program., 2008

A Framework for Proving Correctness of Adjoint Message-Passing Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

2007
Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE
CoRR, 2007

2006
Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation
CoRR, 2006

Data Representation Alternatives in Semantically Augmented Numerical Models.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation.
Proceedings of the Computational Science, 2006

2005
"To be recorded" analysis in reverse-mode automatic differentiation.
Future Gener. Comput. Syst., 2005

2003
Reverse automatic differentiation for optimum design: from adjoint state assembly to gradient computation.
Optim. Methods Softw., 2003

Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction.
Proceedings of the Computational Science and Its Applications, 2003

2001
A method for automatic placement of communications in SPMD parallelisation.
Parallel Comput., 2001

2000
Tools for OpenMP application development: the POST project.
Concurr. Pract. Exp., 2000

1997
Automatic Placement of Communications in Mesh-Partitioning Parallelization.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1988
Partial Evaluation with Inference Rules.
New Gener. Comput., 1988

A tactic-driven system for building proofs.
Proceedings of the SPLT'88, 1988


  Loading...