A. Griewank and A. Walther, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Other Titles in Applied Mathematics, #105. SIAM, 2008.
DOI : 10.1137/1.9780898717761

M. Snir and S. Otto, The Complete Reference: The MPI Core, 1998.

P. Hovland, Automatic differentiation of parallel programs Ph.D. dissertation, University of Illinois at Urbana-Champaign, 1997.

U. Naumann, L. Hascoët, C. Hill, P. Hovland, J. Riehme et al., A Framework for Proving Correctness of Adjoint Message-Passing Programs, Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.316-321, 2008.
DOI : 10.1145/42190.42277

P. Heimbach, C. Hill, and R. Giering, An efficient exact adjoint of the parallel MIT general circulation model, generated via automatic differentiation Future Generation Computer Systems 21, pp.1356-1371, 2005.

A. Carle and M. Fagan, Automatically differentiating MPI-1 datatypes: The complete story, in Automatic Differentiation of Algorithms: From Simulation to Optimization, ser, Computer and Information Science, pp.25-215, 2002.

B. Dauvergne and L. Hascoët, The Data-Flow Equations of Checkpointing in Reverse Automatic Differentiation, International Conference on Computational Science, 2006.
DOI : 10.1007/11758549_78

F. Capello, A. Geist, W. Gropp, S. Kale, B. Kramer et al., Toward Exascale Resilience, International Journal of High Performance Computing Applications, vol.23, issue.4, 2014.
DOI : 10.1177/1094342009347767