Jan Hückelheim

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 42

Top Topics

Data Compression

Augmented Lagrangian

Top Venues

ACM Trans. Math. Softw.

Publications

Yixuan Sun, Elizabeth Cucuzzella, Steven Brus, Sri Hari Krishna Narayanan, Balasubramanya T. Nadiga, Luke Van Roekel, Jan Hückelheim, Sandeep Madireddy, Patrick Heimbach
Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates. PASC (2024)
Paul D. Hovland, Jan Hückelheim
Differentiating Through Linear Solvers. CoRR (2024)
Laurent Hascoët, Jean-Luc Bouchot, Shreyas Sunil Gaikwad, Sri Hari Krishna Narayanan, Jan Hückelheim
Profiling checkpointing schedules in adjoint ST-AD. CoRR (2024)
João Speglich, Navjot Kukreja, George Bisbas, Átila Saraiva, Jan Hückelheim, Fabio Luporini, John Washbourne
Optimizing Forward Wavefield Storage Leveraging High-Speed Storage Media. IPDPS (Workshops) (2024)
Jan Hückelheim, Tadbhagya Kumar, Krishnan Raghavan, Pinaki Pal
Forward Gradients for Data-Driven CFD Wall Modeling. CoRR (2023)
Jan Hückelheim, Johannes Doerfert
ORAQL - Optimistic Responses to Alias Queries in LLVM. ICPP (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed. CoRR (2023)
Yixuan Sun, Elizabeth Cucuzzella, Steven Brus, Sri Hari Krishna Narayanan, Balu Nadiga, Luke Van Roekel, Jan Hückelheim, Sandeep Madireddy
Surrogate Neural Networks to Estimate Parametric Sensitivity of Ocean Models. CoRR (2023)
Jan Hückelheim, Harshitha Menon, William S. Moses, Bruce Christianson, Paul D. Hovland, Laurent Hascoët
Understanding Automatic Differentiation Pitfalls. CoRR (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. CAV (2) (2023)
Jan Hückelheim, Laurent Hascoët
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. ACM Trans. Math. Softw. 48 (1) (2022)
Robert Jackson, Rebecca Gjini, Sri Hari Krishna Narayanan, Matt Menickelly, Paul D. Hovland, Jan Hückelheim, Scott M. Collis
Improving PyDDA's atmospheric wind retrievals using automatic differentiation and Augmented Lagrangian methods. SciPy (2022)
Jan Hückelheim, Laurent Hascoët
Automatic Differentiation of Parallel Loops with Formal Methods. ICPP (2022)
Richard J. Clancy, Matt Menickelly, Jan Hückelheim, Paul D. Hovland, Prani Nalluri, Rebecca Gjini
TROPHY: Trust Region Optimization Using a Precision Hierarchy. ICCS (1) (2022)
Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti, Jan Hückelheim, Paul D. Hovland
Reducing Memory Requirements of Quantum Optimal Control. ICCS (4) (2022)
Jan Hückelheim, Laurent Hascoët
Automatic differentiation of parallel loops with formal methods. PPoPP (2022)
William S. Moses, Sri Hari Krishna Narayanan, Ludger Paehler, Valentin Churavy, Michel Schanen, Jan Hückelheim, Johannes Doerfert, Paul D. Hovland
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. SC (2022)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Stephen F. Siegel
Verifying Fortran Programs with CIVL. TACAS (1) (2022)
Jan Hückelheim, Laurent Hascoët
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. CoRR (2021)
William S. Moses, Valentin Churavy, Ludger Paehler, Jan Hückelheim, Sri Hari Krishna Narayanan, Michel Schanen, Johannes Doerfert
Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme. SC (2021)
Paul D. Hovland, Jan Hückelheim
Error Estimation and Correction Using the Forward CENA Method. ICCS (1) (2021)
Jan Hückelheim, Johannes Doerfert
Spray: Sparse Reductions of Arrays in OPENMP. IPDPS (2021)
Fabio Luporini, Mathias Louboutin, Michael Lange, Navjot Kukreja, Philipp A. Witte, Jan Hückelheim, Charles Yount, Paul H. J. Kelly, Felix J. Herrmann, Gerard J. Gorman
Architecture and Performance of Devito, a System for Automated Stencil Computation. ACM Trans. Math. Softw. 46 (1) (2020)
Jan Hückelheim, Michel Schanen, Sri Hari Krishna Narayanan, Paul D. Hovland
Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures. ICPP (2020)
Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, John Washbourne, Paul H. J. Kelly, Gerard J. Gorman
Lossy Checkpoint Compression in Full Waveform Inversion. CoRR (2020)
Siamak Akbarzadeh, Jan Hückelheim, Jens-Dominik Müller
Consistent treatment of incompletely converged iterative linear solvers in reverse-mode algorithmic differentiation. Comput. Optim. Appl. 77 (2) (2020)
Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland
Automatic Differentiation for Adjoint Stencil Loops. CoRR (2019)
Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland
Automatic Differentiation for Adjoint Stencil Loops. ICPP (2019)
Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, Paul D. Hovland, Gerard Gorman
Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems. Euro-Par (2019)
Navjot Kukreja, Alena Shilova, Olivier Beaumont, Jan Hückelheim, Nicola J. Ferrier, Paul D. Hovland, Gerard Gorman
Training on the Edge: The why and the how. CoRR (2019)
Jan Hückelheim, Paul D. Hovland, Michelle Mills Strout, Jens-Dominik Müller
Reverse-mode algorithmic differentiation of an OpenMP-parallel compressible flow solver. Int. J. High Perform. Comput. Appl. 33 (1) (2019)
Navjot Kukreja, Alena Shilova, Olivier Beaumont, Jan Hückelheim, Nicola J. Ferrier, Paul D. Hovland, Gerard Gorman
Training on the Edge: The why and the how. IPDPS Workshops (2019)
Navjot Kukreja, Jan Hückelheim, Michael Lange, Mathias Louboutin, Andrea Walther, Simon W. Funke, Gerard Gorman
High-level python abstractions for optimal checkpointing in inversion problems. CoRR (2018)
Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
Verifying Properties of Differentiable Programs. SAS (2018)
Navjot Kukreja, Jan Hückelheim, Gerard J. Gorman
Backpropagation for long sequences: beyond memory constraints with constant overheads. CoRR (2018)
Jan Hückelheim, Paul D. Hovland, Sri Hari Krishna Narayanan, Paulius Velesko
Vectorised Computation of Diverging Ensembles. ICPP (2018)
Fabio Luporini, Michael Lange, Mathias Louboutin, Navjot Kukreja, Jan Hückelheim, Charles Yount, Philipp A. Witte, Paul H. J. Kelly, Gerard J. Gorman, Felix J. Herrmann
Architecture and performance of Devito, a system for automated stencil computation. CoRR (2018)
Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, Kaiyuan Hou, Fabio Luporini, Paul D. Hovland, Gerard Gorman
Combining checkpointing and data compression for large scale seismic inversion. CoRR (2018)
Michael Lange, Navjot Kukreja, Fabio Luporini, Mathias Louboutin, Charles Yount, Jan Hückelheim, Gerard J. Gorman
Optimised finite difference computation from symbolic equations. SciPy (2017)
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC (2017)
Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. CORRECTNESS@SC (2017)
Michael Lange, Navjot Kukreja, Fabio Luporini, Mathias Louboutin, Charles Yount, Jan Hückelheim, Gerard J. Gorman
Optimised finite difference computation from symbolic equations. CoRR (2017)