| 2008 |
|---|
| 13 | EE | Uwe Naumann,
Laurent Hascoët,
Chris Hill,
Paul D. Hovland,
Jan Riehme,
Jean Utke:
A Framework for Proving Correctness of Adjoint Message-Passing Programs.
PVM/MPI 2008: 316-321 |
| 12 | EE | Laurent Hascoët,
Jean Utke,
Uwe Naumann:
Cheaper adjoints by reversing address computations.
Scientific Programming 16(1): 81-92 (2008) |
| 2007 |
|---|
| 11 | EE | Moulay Hicham Tber,
Laurent Hascoët,
Arthur Vidard,
Benjamin Dauvergne:
Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE
CoRR abs/0711.4444: (2007) |
| 2006 |
|---|
| 10 | EE | Benjamin Dauvergne,
Laurent Hascoët:
The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation.
International Conference on Computational Science (4) 2006: 566-573 |
| 9 | EE | Michael Fagan,
Laurent Hascoët,
Jean Utke:
Data Representation Alternatives in Semantically Augmented Numerical Models.
SCAM 2006: 85-94 |
| 8 | EE | Laurent Hascoët,
Mauricio Araya-Polo:
Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation
CoRR abs/cs/0606042: (2006) |
| 2005 |
|---|
| 7 | EE | Laurent Hascoët,
Uwe Naumann,
Valérie Pascual:
"To be recorded" analysis in reverse-mode automatic differentiation.
Future Generation Comp. Syst. 21(8): 1401-1417 (2005) |
| 2003 |
|---|
| 6 | EE | Laurent Hascoët,
Mariano Vázquez,
Alain Dervieux:
Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction.
ICCSA (2) 2003: 85-94 |
| 2001 |
|---|
| 5 | | Laurent Hascoët:
A method for automatic placement of communications in SPMD parallelisation.
Parallel Computing 27(13): 1655-1664 (2001) |
| 2000 |
|---|
| 4 | | Laksono Adhianto,
François Bodin,
Barbara M. Chapman,
Laurent Hascoët,
Aron Kneer,
David Lancaster,
I. C. Wolton,
M. Wirtz:
Tools for OpenMP application development: the POST project.
Concurrency - Practice and Experience 12(12): 1177-1191 (2000) |
| 1997 |
|---|
| 3 | | Laurent Hascoët:
Automatic Placement of Communications in Mesh-Partitioning Parallelization.
PPOPP 1997: 136-144 |
| 1988 |
|---|
| 2 | | Laurent Hascoët:
A tactic-driven system for building proofs.
SPLT 1988: 31-52 |
| 1 | | Laurent Hascoët:
Partial Evaluation with Inference Rules.
New Generation Comput. 6(2&3): 187-209 (1988) |
