Jan Hückelheim

According to our database, Jan Hückelheim authored at least 33 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Forward Gradients for Data-Driven CFD Wall Modeling.

Jan Hückelheim, Tadbhagya Kumar, Krishnan Raghavan, Pinaki Pal

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

Understanding Automatic Differentiation Pitfalls.

Jan Hückelheim, Harshitha Menon, William S. Moses, Bruce Christianson, Paul D. Hovland, Laurent Hascoët

CoRR, 2023

ORAQL - Optimistic Responses to Alias Queries in LLVM.

Jan Hückelheim, Johannes Doerfert

Proceedings of the 52nd International Conference on Parallel Processing, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Source-to-Source Automatic Differentiation of OpenMP Parallel Loops.

Jan Hückelheim, Laurent Hascoët

ACM Trans. Math. Softw., 2022

Verifying Fortran Programs with CIVL.

Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Stephen F. Siegel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 21st Python in Science Conference 2022, 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

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Automatic Differentiation of Parallel Loops with Formal Methods.

Jan Hückelheim, Laurent Hascoët

Proceedings of the 51st International Conference on Parallel Processing, 2022

Reducing Memory Requirements of Quantum Optimal Control.

Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti, Jan Hückelheim, Paul D. Hovland

Proceedings of the Computational Science - ICCS 2022, 2022

TROPHY: Trust Region Optimization Using a Precision Hierarchy.

Richard J. Clancy, Matt Menickelly, Jan Hückelheim, Paul D. Hovland, Prani Nalluri, Rebecca Gjini

Proceedings of the Computational Science - ICCS 2022, 2022

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

Proceedings of the International Conference for High Performance Computing, 2021

Spray: Sparse Reductions of Arrays in OPENMP.

Jan Hückelheim, Johannes Doerfert

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Error Estimation and Correction Using the Forward CENA Method.

Paul D. Hovland, Jan Hückelheim

Proceedings of the Computational Science - ICCS 2021, 2021

2020

Architecture and Performance of Devito, a System for Automated Stencil Computation.

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

ACM Trans. Math. Softw., 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

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

Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures.

Jan Hückelheim, Michel Schanen, Sri Hari Krishna Narayanan, Paul D. Hovland

Proceedings of the ICPP 2020: 49th International Conference on Parallel Processing, 2020

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

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

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019

Automatic Differentiation for Adjoint Stencil Loops.

Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland

Proceedings of the 48th International Conference on Parallel Processing, 2019

Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems.

Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, Paul D. Hovland, Gerard Gorman

Proceedings of the Euro-Par 2019: Parallel Processing, 2019

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 for large scale seismic inversion.

Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, Kaiyuan Hou, Fabio Luporini, Paul D. Hovland, Gerard Gorman

CoRR, 2018

Backpropagation for long sequences: beyond memory constraints with constant overheads.

Navjot Kukreja, Jan Hückelheim, Gerard J. Gorman

CoRR, 2018

High-level python abstractions for optimal checkpointing in inversion problems.

Navjot Kukreja, Jan Hückelheim, Michael Lange, Mathias Louboutin, Andrea Walther, Simon W. Funke, Gerard Gorman

CoRR, 2018

Verifying Properties of Differentiable Programs.

Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland

Proceedings of the Static Analysis - 25th International Symposium, 2018

Vectorised Computation of Diverging Ensembles.

Jan Hückelheim, Paul D. Hovland, Sri Hari Krishna Narayanan, Paulius Velesko

Proceedings of the 47th International Conference on Parallel Processing, 2018

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

Optimised finite difference computation from symbolic equations.

Michael Lange, Navjot Kukreja, Fabio Luporini, Mathias Louboutin, Charles Yount, Jan Hückelheim, Gerard J. Gorman

Proceedings of the 16th Python in Science Conference 2017, 2017

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.

Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

Towards Self-Verification in Finite Difference Code Generation.

Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017