Jan Hückelheim

48 papers A 4B 7Journal 22Unranked 15

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