Transparent Checkpointing for Automatic Differentiation of Program Loops Through Expression Transformations. - Michel Schanen; Sri Hari Krishna Narayanan; Sarah Williamson; Valentin Churavy; William S. Moses; Ludger Paehler (ICCS (3), 2023)