Towards Self-Verification in Finite Difference Code Generation. - Jan Hückelheim; Ziqing Luo; Fabio Luporini; Navjot Kukreja; Michael Lange 001; Gerard Gorman; Stephen F. Siegel; Matthew B. Dwyer; Paul D. Hovland (CORRECTNESS@SC, 2017)

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. - Markus Schordan; Jan Hückelheim; Pei-Hung Lin; Harshitha Menon (CORRECTNESS@SC, 2017)

Optimised finite difference computation from symbolic equations. - Michael Lange 001; Navjot Kukreja; Fabio Luporini; Mathias Louboutin; Charles Yount; Jan Hückelheim; Gerard J. Gorman (SciPy, 2017)

Algorithmic Differentiation of Code with Multiple Context-Specific Activities. - Jan Christian Hückelheim; Laurent Hascoët; Jens-Dominik Müller (ACM Trans. Math. Softw., 2017)

Vectorised Computation of Diverging Ensembles. - Jan Hückelheim; Paul D. Hovland; Sri Hari Krishna Narayanan; Paulius Velesko (ICPP, 2018)

Verifying Properties of Differentiable Programs. - Jan Hückelheim; Ziqing Luo; Sri Hari Krishna Narayanan; Stephen F. Siegel; Paul D. Hovland (SAS, 2018)

High-level python abstractions for optimal checkpointing in inversion problems. - Navjot Kukreja; Jan Hückelheim; Michael Lange 001; Mathias Louboutin; Andrea Walther; Simon W. Funke; Gerard Gorman (CoRR, 2018)

Backpropagation for long sequences: beyond memory constraints with constant overheads. - Navjot Kukreja; Jan Hückelheim; Gerard J. Gorman (CoRR, 2018)

Combining checkpointing and data compression for large scale seismic inversion. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; Kaiyuan Hou; Fabio Luporini; Paul D. Hovland; Gerard Gorman (CoRR, 2018)

Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation. - Jan Christian Hückelheim; Paul D. Hovland; Michelle Mills Strout; Jens-Dominik Müller (Optim. Methods Softw., 2018)

Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; Paul D. Hovland; Gerard Gorman (Euro-Par, 2019)

Automatic Differentiation for Adjoint Stencil Loops. - Jan Hückelheim; Navjot Kukreja; Sri Hari Krishna Narayanan; Fabio Luporini; Gerard Gorman; Paul D. Hovland (ICPP, 2019)

Training on the Edge: The why and the how. - Navjot Kukreja; Alena Shilova; Olivier Beaumont; Jan Hückelheim; Nicola J. Ferrier; Paul D. Hovland; Gerard Gorman (IPDPS Workshops, 2019)

Reverse-mode algorithmic differentiation of an OpenMP-parallel compressible flow solver. - Jan Hückelheim; Paul D. Hovland; Michelle Mills Strout; Jens-Dominik Müller (Int. J. High Perform. Comput. Appl., 2019)

Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures. - Jan Hückelheim; Michel Schanen; Sri Hari Krishna Narayanan; Paul D. Hovland (ICPP, 2020)

Consistent treatment of incompletely converged iterative linear solvers in reverse-mode algorithmic differentiation. - Siamak Akbarzadeh; Jan Hückelheim; Jens-Dominik Müller (Comput. Optim. Appl., 2020)

Lossy Checkpoint Compression in Full Waveform Inversion. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; John Washbourne; Paul H. J. Kelly; Gerard J. Gorman (CoRR, 2020)

Architecture and Performance of Devito, a System for Automated Stencil Computation. - Fabio Luporini; Mathias Louboutin; Michael Lange 001; Navjot Kukreja; Philipp A. Witte; Jan Hückelheim; Charles Yount; Paul H. J. Kelly; Felix J. Herrmann; Gerard J. Gorman (ACM Trans. Math. Softw., 2020)

Error Estimation and Correction Using the Forward CENA Method. - Paul D. Hovland; Jan Hückelheim (ICCS (1), 2021)

Spray: Sparse Reductions of Arrays in OPENMP. - Jan Hückelheim; Johannes Doerfert (IPDPS, 2021)

Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme. - William S. Moses; Valentin Churavy; Ludger Paehler; Jan Hückelheim; Sri Hari Krishna Narayanan; Michel Schanen; Johannes Doerfert (SC, 2021)

TROPHY: Trust Region Optimization Using a Precision Hierarchy. - Richard J. Clancy; Matt Menickelly; Jan Hückelheim; Paul D. Hovland; Prani Nalluri; Rebecca Gjini (ICCS (1), 2022)

Reducing Memory Requirements of Quantum Optimal Control. - Sri Hari Krishna Narayanan; Thomas Propson; Marcelo Bongarti; Jan Hückelheim; Paul D. Hovland (ICCS (4), 2022)

Automatic Differentiation of Parallel Loops with Formal Methods. - Jan Hückelheim; Laurent Hascoët (ICPP, 2022)

Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. - William S. Moses; Sri Hari Krishna Narayanan; Ludger Paehler; Valentin Churavy; Michel Schanen; Jan Hückelheim; Johannes Doerfert; Paul D. Hovland (SC, 2022)

Improving PyDDA's atmospheric wind retrievals using automatic differentiation and Augmented Lagrangian methods. - Robert Jackson; Rebecca Gjini; Sri Hari Krishna Narayanan; Matt Menickelly; Paul D. Hovland; Jan Hückelheim; Scott M. Collis (SciPy, 2022)

Verifying Fortran Programs with CIVL. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (TACAS (1), 2022)

Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. - Jan Hückelheim; Laurent Hascoët (ACM Trans. Math. Softw., 2022)

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (CAV (2), 2023)

ORAQL - Optimistic Responses to Alias Queries in LLVM. - Jan Hückelheim; Johannes Doerfert (ICPP, 2023)

Understanding Automatic Differentiation Pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (CoRR, 2023)

Surrogate Neural Networks to Estimate Parametric Sensitivity of Ocean Models. - Yixuan Sun; Elizabeth Cucuzzella; Steven Brus; Sri Hari Krishna Narayanan; Balu Nadiga; Luke Van Roekel; Jan Hückelheim; Sandeep Madireddy (CoRR, 2023)

Forward Gradients for Data-Driven CFD Wall Modeling. - Jan Hückelheim; Tadbhagya Kumar; Krishnan Raghavan; Pinaki Pal (CoRR, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

Optimizing Forward Wavefield Storage Leveraging High-Speed Storage Media. - João Speglich; Navjot Kukreja; George Bisbas; Átila Saraiva; Jan Hückelheim; Fabio Luporini; John Washbourne (IPDPS (Workshops), 2024)

Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates. - Yixuan Sun; Elizabeth Cucuzzella; Steven Brus; Sri Hari Krishna Narayanan; Balasubramanya T. Nadiga; Luke Van Roekel; Jan Hückelheim; Sandeep Madireddy; Patrick Heimbach (PASC, 2024)

Differentiating Through Linear Solvers. - Paul D. Hovland; Jan Hückelheim (CoRR, 2024)

Profiling checkpointing schedules in adjoint ST-AD. - Laurent Hascoët; Jean-Luc Bouchot; Shreyas Sunil Gaikwad; Sri Hari Krishna Narayanan; Jan Hückelheim (CoRR, 2024)

A taxonomy of automatic differentiation pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (WIREs Data. Mining. Knowl. Discov., 2024)

Verifying PETSc Vector Components Using CIVL. - Venkata Dhavala; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (CAV (1), 2025)

MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade. - Shreyas Sunil Gaikwad; Sri Hari Krishna Narayanan; Laurent Hascoët; Jean-Michel Campin; Helen Pillar; An Nguyen; Jan Hückelheim; Paul D. Hovland; Patrick Heimbach (Future Gener. Comput. Syst., 2025)