JH
Jan Hückelheim
cs.MScs.CEcs.DCcs.LGcs.NAmath.NAmath.OCphysics.ao-phquant-phcs.CL
On Valency
published · living versionsW_umpqbj8a·v1 · currentpublished
Preprints & journals
23 papers in the corpus · 2017–2026Developing a Numerical Algorithm with CIVL Model Checking in the Loop2609.31964v1 · Youngjun Lee, Anshu Dubey, Jan Huckelheim2026 · 0 citationsarXiv
Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation2609.31687v1 · Hansol Suh, Jan Huckelheim, Stephen Siegel2026 · 0 citationsarXiv
An Evaluation of Vertex Elimination Strategies for Algorithmic Differentiation2605.24280v2 · Alex Crane, P\aal Gr\on\aas Drange, Eli Friedman et al.2026 · 0 citationsarXiv
Challenges with Differentiable Quantum Dynamics2406.06361v2 · Sri Hari Krishna Narayanan, Michael Perlin, Robert Lewis-Swan et al.2024 · 0 citationsarXiv
Profiling checkpointing schedules in adjoint ST-AD2405.15590v2 · Laurent Hascoet, Jean-Luc Bouchot, Shreyas Sunil Gaikwad et al.2024 · 1 citationarXiv
Differentiating Through Linear Solvers2404.17039v2 · Paul Hovland, Jan Huckelheim2024 · 0 citationsarXiv
Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates2404.09950v1 · Yixuan Sun, Elizabeth Cucuzzella, Steven Brus et al.2024 · 0 citationsarXiv
MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade2401.11952v2 · Shreyas Sunil Gaikwad, Sri Hari Krishna Narayanan, Laurent Hascoet et al.2024 · 5 citationsarXiv
Forward Gradients for Data-Driven CFD Wall Modeling2311.11876v2 · Jan Huckelheim, Tadbhagya Kumar, Krishnan Raghavan et al.2023 · 0 citationsarXiv
Surrogate Neural Networks to Estimate Parametric Sensitivity of Ocean Models2311.08421v1 · Yixuan Sun, Elizabeth Cucuzzella, Steven Brus et al.2023 · 0 citationsarXiv
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed2305.18198v2 · Wenhao Wu, Jan Huckelheim, Paul D. Hovland et al.2023 · 1 citationarXiv
Understanding Automatic Differentiation Pitfalls2305.07546v1 · Jan Huckelheim, Harshitha Menon, William Moses et al.2023 · 2 citationsarXiv
Memory-Efficient Differentiable Programming for Quantum Optimal Control of Discrete Lattices2210.08378v1 · Xian Wang, Paul Kairys, Sri Hari Krishna Narayanan et al.2022 · 3 citationsarXiv
Reducing Memory Requirements of Quantum Optimal Control2203.12717v1 · Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti et al.2022 · 6 citationsarXiv
TROPHY: Trust Region Optimization Using a Precision Hierarchy2202.08387v1 · Richard J Clancy, Matt Menickelly, Jan Huckelheim et al.2022 · 2 citationsarXiv
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops2111.01861v1 · Jan Huckelheim, Laurent Hascoet2021 · 18 citationsarXiv
Lossy Checkpoint Compression in Full Waveform Inversion: a case study with ZFPv0.5.5 and the Overthrust Model2009.12623v2 · Navjot Kukreja, Jan Hueckelheim, Mathias Louboutin et al.2020 · 23 citationsarXiv
Training on the Edge: The why and the how1903.03051v1 · Navjot Kukreja, Alena Shilova, Olivier Beaumont et al.2019 · 39 citationsarXiv
Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems1810.05268v2 · Navjot Kukreja, Jan Hueckelheim, Mathias Louboutin et al.2018 · 12 citationsarXiv
Architecture and performance of Devito, a system for automated stencil computation1807.03032v3 · Fabio Luporini, Michael Lange, Mathias Louboutin et al.2018 · 136 citationsarXiv
Backpropagation for long sequences: beyond memory constraints with constant overheads1806.01117v1 · Navjot Kukreja, Jan Huckelheim, Gerard J. Gorman2018 · 0 citationsarXiv
High-level python abstractions for optimal checkpointing in inversion problems1802.02474v1 · Navjot Kukreja, Jan Huckelheim, Michael Lange et al.2018 · 12 citationsarXiv
Optimised finite difference computation from symbolic equations1707.03776v1 · Michael Lange, Navjot Kukreja, Fabio Luporini et al.2017 · 8 citationsarXiv
Career total: 71 works. 23 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.