Hascoet, Laurent
- Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation
2006/06/09 by Laurent Hascoet, Laurent Hascoët, Mauricio Araya–Polo +3 · 1 citation
Computer Science · Mathematics · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Numerical methods for differential equations #Parallel Computing and Optimization Techniques #cs.DS
- MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade
2024/01/22 by Gaikwad, Shreyas Sunil, Narayanan, Sri Hari Krishna, Hascoet, Laurent +6 · 1 citation
#Atmospheric and Oceanic Physics (physics.ao-ph) #FOS: Physical sciences