Step-based checkpointing with high-level algorithmic differentiation

James R. Maddison

Automated code generation allows for a separation between the development of a model, expressed via a domain specific language, and lower level implementation details. Algorithmic…