dblp.uni-trier.dewww.uni-trier.de

Laurent Hascoët

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEUwe 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
12EELaurent Hascoët, Jean Utke, Uwe Naumann: Cheaper adjoints by reversing address computations. Scientific Programming 16(1): 81-92 (2008)
2007
11EEMoulay 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
10EEBenjamin Dauvergne, Laurent Hascoët: The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation. International Conference on Computational Science (4) 2006: 566-573
9EEMichael Fagan, Laurent Hascoët, Jean Utke: Data Representation Alternatives in Semantically Augmented Numerical Models. SCAM 2006: 85-94
8EELaurent Hascoët, Mauricio Araya-Polo: Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation CoRR abs/cs/0606042: (2006)
2005
7EELaurent 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
6EELaurent 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)

Coauthor Index

1Laksono Adhianto [4]
2Mauricio Araya-Polo [8]
3François Bodin [4]
4Barbara M. Chapman [4]
5Benjamin Dauvergne [10] [11]
6Alain Dervieux [6]
7Michael Fagan [9]
8Chris Hill [13]
9Paul D. Hovland [13]
10Aron Kneer [4]
11David Lancaster [4]
12Uwe Naumann [7] [12] [13]
13Valérie Pascual [7]
14Jan Riehme [13]
15Moulay Hicham Tber [11]
16Jean Utke [9] [12] [13]
17Mariano Vázquez [6]
18Arthur Vidard [11]
19M. Wirtz [4]
20I. C. Wolton [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)