B. Dauvergne and L. Hascoët, The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation, International Conference on Computational Science Taftaf, A and Hascoët, L. On The Correct Application Of AD Checkpointing To Adjoint MPI-Parallel programs European Congress on Computational Methods in Applied Sciences and Engineering, p.2016, 2006.
DOI : 10.1007/11758549_78

J. Utke, L. Hascoët, P. Heimbach, C. Hill, P. Hovland et al., Proceedings of the 10th IEEE International Workshop on Parallel and Distributed Scientific and Engineering, PDSEC'09, Naumann L. Hascoët, J. Utke, Interpretative Adjoints for Numerical Simulation Codes using MPI. International Conference on Computational Science, ICCS 2010. 5 M. Towara, M. Schanen, U. Naumann, MPI-Parallel Discrete Adjoint OpenFOAM. International Conference on Computational Science, 2009.

L. Hascoët and V. Pascual, The Tapenade automatic differentiation tool, ACM Transactions on Mathematical Software, vol.39, issue.3, 2013.
DOI : 10.1145/2450153.2450158