H. M. Bücker, A. Elsheikh, and A. Vehreschild, A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation, Mathematical Software ? ICMS 2006 Proceedings of the Second International Congress on Mathematical Software, pp.373-384, 2006.
DOI : 10.1007/11832225_37

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

V. Pascual, L. Hascoët, C. Tapenade, H. In-christian, H. M. Bischof et al., Advances in Automatic Differentiation, pp.199-209, 2008.

V. Pascual and L. Hascoët, Extension of TAPENADE toward Fortran 95, Automatic Differentiation: Applications, Theory, and Implementations, pp.171-179, 2005.
DOI : 10.1007/3-540-28438-9_15

J. Utke, U. Naumann, M. Fagan, N. Tallent, M. Strout et al., OpenAD/F, ACM Transactions on Mathematical Software, vol.34, issue.4, pp.1-1836, 2008.
DOI : 10.1145/1377596.1377598

S. H. , K. Narayanan, B. Norris, and B. Winnicka, ADIC2: Development of a component source transformation system for differentiating C and C++, Procedia Computer Science, vol.1, issue.1, pp.1845-1853, 2010.

M. Voßbeck, R. Giering, and T. Kaminski, Development and first applications of TAC++, Advances in Automatic Differentiation, pp.187-197, 2008.

I. Charpentier and J. Utke, Fast higher-order derivative tensors with Rapsodia, Optimization Methods and Software, vol.24, issue.1, pp.1-14, 2009.
DOI : 10.1080/10556780802413769

J. Utke, B. T. Rearden, and R. A. Lefebvre, Sensitivity Analysis for Mixed-Language Numerical Models, 2013 International Conference on Computational Science, pp.1794-1803, 2013.
DOI : 10.1016/j.procs.2013.05.348

B. D. Burow, MIXED LANGUAGE PROGRAMMING, Computing in High Energy Physics '95, pp.610-614, 1996.
DOI : 10.1142/9789814447188_0111

S. Steven and . Muchnick, Advanced Compiler Design and Implementation, 1997.

P. Cousot, Abstract interpretation based formal methods and future challenges, invited paper, Informatics ? 10 Years Back, 10 Years Ahead, pp.138-156, 2000.
DOI : 10.1007/3-540-44577-3_10
URL : http://www.di.ens.fr/~cousot/publications.www/CousotDagstuhl-2000-lv-lb.pdf

L. Hascoët, U. Naumann, and V. Pascual, ???To be recorded??? analysis in reverse-mode automatic differentiation, Future Generation Computer Systems, vol.21, issue.8, pp.1401-1417, 2005.
DOI : 10.1016/j.future.2004.11.009

V. Pascual and L. Hascoët, Native Handling of Message-Passing Communication in Data-Flow Analysis, Recent Advances in Algorithmic Differentiation, pp.83-92, 2012.
DOI : 10.1007/978-3-642-30023-3_8

J. Christian-hueckelheim, L. Hascoët, and J. Müller, Algorithmic differentiation of code with multiple context-specific activities, ACM Transactions on Mathematical Software, 2016.

G. Dhondt, The Finite Element Method for Three-Dimensional Thermomechanical Applications, 2004.
DOI : 10.1002/0470021217

L. Hascoët and M. Morlighem, Source-to-source adjoint algorithmic differentiation of an ice sheet model written in C. Optimization Methods and Software, pp.1-15, 2017.