Search the dblp DataBase

Publications of Author

1. Benjamin Dauvergne, Laurent Hascoët
   The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (4), 2006, pp:566-573 [Conf]
   
2. Laurent Hascoët, Mariano Vázquez, Alain Dervieux
   Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction. [Citation Graph (0, 0)][DBLP]
   ICCSA (2), 2003, pp:85-94 [Conf]
   
3. Laurent Hascoët
   A tactic-driven system for building proofs. [Citation Graph (0, 0)][DBLP]
   SPLT, 1988, pp:31-52 [Conf]
   
4. Laurent Hascoët
   Automatic Placement of Communications in Mesh-Partitioning Parallelization. [Citation Graph (0, 0)][DBLP]
   PPOPP, 1997, pp:136-144 [Conf]
   
5. Michael Fagan, Laurent Hascoët, Jean Utke
   Data Representation Alternatives in Semantically Augmented Numerical Models. [Citation Graph (0, 0)][DBLP]
   SCAM, 2006, pp:85-94 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2000, v:12, n:12, pp:1177-1191 [Journal]
   
7. Laurent Hascoët, Uwe Naumann, Valérie Pascual
   "To be recorded" analysis in reverse-mode automatic differentiation. [Citation Graph (0, 0)][DBLP]
   Future Generation Comp. Syst., 2005, v:21, n:8, pp:1401-1417 [Journal]
   
8. Laurent Hascoët
   Partial Evaluation with Inference Rules. [Citation Graph (0, 0)][DBLP]
   New Generation Comput., 1988, v:6, n:2&3, pp:187-209 [Journal]
   
9. Laurent Hascoët
   A method for automatic placement of communications in SPMD parallelisation. [Citation Graph (0, 0)][DBLP]
   Parallel Computing, 2001, v:27, n:13, pp:1655-1664 [Journal]
   
10. Laurent Hascoët, Mauricio Araya-Polo
    Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
11. 
    Toward adjoinable MPI. [Citation Graph (, )][DBLP]
    
    
12. 
    A Framework for Proving Correctness of Adjoint Message-Passing Programs. [Citation Graph (, )][DBLP]
    
    
13. 
    Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE [Citation Graph (, )][DBLP]