default search action
Jan Hückelheim
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]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: 431-438 - [c22]Yixuan Sun
Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates. PASC 2024: 6:1-6:10 - [i15]Paul D. Hovland, Jan Hückelheim:
Differentiating Through Linear Solvers. CoRR abs/2404.17039 (2024) - [i14]Laurent Hascoët, Jean-Luc Bouchot, Shreyas Sunil Gaikwad, Sri Hari Krishna Narayanan, Jan Hückelheim:
Profiling checkpointing schedules in adjoint ST-AD. CoRR abs/2405.15590 (2024) - 2023
- [c21]Wenhao Wu
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. CAV (2) 2023: 265-287 - [c20]Jan Hückelheim
ORAQL - Optimistic Responses to Alias Queries in LLVM. ICPP 2023: 655-664 - [i13]Jan Hückelheim, Harshitha Menon, William S. Moses, Bruce Christianson, Paul D. Hovland, Laurent Hascoët:
Understanding Automatic Differentiation Pitfalls. CoRR abs/2305.07546 (2023) - [i12]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 abs/2305.18198 (2023) - [i11]Yixuan Sun
Surrogate Neural Networks to Estimate Parametric Sensitivity of Ocean Models. CoRR abs/2311.08421 (2023) - [i10]Jan Hückelheim, Tadbhagya Kumar, Krishnan Raghavan, Pinaki Pal
Forward Gradients for Data-Driven CFD Wall Modeling. CoRR abs/2311.11876 (2023) - 2022
- [j6]Jan Hückelheim
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. ACM Trans. Math. Softw. 48(1): 7:1-7:32 (2022) - [c19]Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti, Jan Hückelheim, Paul D. Hovland
Reducing Memory Requirements of Quantum Optimal Control. ICCS (4) 2022: 129-142 - [c18]Richard J. Clancy, Matt Menickelly, Jan Hückelheim, Paul D. Hovland
TROPHY: Trust Region Optimization Using a Precision Hierarchy. ICCS (1) 2022: 445-459 - [c17]Jan Hückelheim, Laurent Hascoët:
Automatic Differentiation of Parallel Loops with Formal Methods. ICPP 2022: 13:1-13:11 - [c16]Jan Hückelheim
Automatic differentiation of parallel loops with formal methods. PPoPP 2022: 463-464 - [c15]William S. Moses, Sri Hari Krishna Narayanan
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. SC 2022: 60:1-60:18 - [c14]Robert Jackson, Rebecca Gjini, Sri Hari Krishna Narayanan, Matt Menickelly, Paul D. Hovland
Improving PyDDA's atmospheric wind retrievals using automatic differentiation and Augmented Lagrangian methods. SciPy 2022: 210-216 - [c13]Wenhao Wu
Verifying Fortran Programs with CIVL. TACAS (1) 2022: 106-124 - 2021
- [c12]Paul D. Hovland
Error Estimation and Correction Using the Forward CENA Method. ICCS (1) 2021: 765-778 - [c11]Jan Hückelheim
Spray: Sparse Reductions of Arrays in OPENMP. IPDPS 2021: 475-484 - [c10]William S. Moses, Valentin Churavy, Ludger Paehler, Jan Hückelheim
Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme. SC 2021: 61 - [i9]Jan Hückelheim, Laurent Hascoët:
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops. CoRR abs/2111.01861 (2021) - 2020
- [j5]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): 597-616 (2020) - [j4]Fabio Luporini
Architecture and Performance of Devito, a System for Automated Stencil Computation. ACM Trans. Math. Softw. 46(1): 6:1-6:28 (2020) - [c9]Jan Hückelheim, Michel Schanen
Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures. ICPP 2020: 39:1-39:11 - [i8]Navjot Kukreja, Jan Hückelheim, Mathias Louboutin, John Washbourne, Paul H. J. Kelly, Gerard J. Gorman:
Lossy Checkpoint Compression in Full Waveform Inversion. CoRR abs/2009.12623 (2020)
2010 – 2019
- 2019
- [j3]Jan Hückelheim
Reverse-mode algorithmic differentiation of an OpenMP-parallel compressible flow solver. Int. J. High Perform. Comput. Appl. 33(1) (2019) - [c8]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: 87-100 - [c7]Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan
Automatic Differentiation for Adjoint Stencil Loops. ICPP 2019: 83:1-83:10 - [c6]Navjot Kukreja, Alena Shilova, Olivier Beaumont
Training on the Edge: The why and the how. IPDPS Workshops 2019: 899-903 - [i7]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 abs/1903.03051 (2019) - [i6]Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland:
Automatic Differentiation for Adjoint Stencil Loops. CoRR abs/1907.02818 (2019) - 2018
- [j2]Jan Christian Hückelheim
Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation. Optim. Methods Softw. 33(4-6): 672-693 (2018) - [c5]Jan Hückelheim
Vectorised Computation of Diverging Ensembles. ICPP 2018: 51:1-51:10 - [c4]Jan Hückelheim
Verifying Properties of Differentiable Programs. SAS 2018: 205-222 - [i5]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 abs/1802.02474 (2018) - [i4]Navjot Kukreja, Jan Hückelheim, Gerard J. Gorman:
Backpropagation for long sequences: beyond memory constraints with constant overheads. CoRR abs/1806.01117 (2018) - [i3]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 abs/1807.03032 (2018) - [i2]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 abs/1810.05268 (2018) - 2017
- [j1]Jan Christian Hückelheim
Algorithmic Differentiation of Code with Multiple Context-Specific Activities. ACM Trans. Math. Softw. 43(4): 35:1-35:21 (2017) - [c3]Markus Schordan
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. CORRECTNESS@SC 2017: 34-41 - [c2]Jan Hückelheim
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC 2017: 42-49 - [c1]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: 89-97 - [i1]Michael Lange, Navjot Kukreja, Fabio Luporini, Mathias Louboutin, Charles Yount, Jan Hückelheim, Gerard J. Gorman:
Optimised finite difference computation from symbolic equations. CoRR abs/1707.03776 (2017)
Coauthor Index
aka: Gerard J. Gorman
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: