Jan Hckelheim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
9
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CGO | Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation. | Siyuan Brant Qian, Vimarsh Sathia, Ivan R. Ivanov, Jan Hckelheim, Paul D. Hovland, William S. Moses |
| 2025 | CAV | Verifying PETSc Vector Components Using CIVL. | Venkata Dhavala, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel |
| 2025 | SC | Data Race Detection through Vibe Translation. | Jan Hckelheim, Vimarsh Sathia, Siyuan Brant Qian |
| 2023 | CAV | Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. | Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel |
| 2023 | ICPP | ORAQL - Optimistic Responses to Alias Queries in LLVM. | Jan Hckelheim, Johannes Doerfert |
| 2022 | ICCS | TROPHY: Trust Region Optimization Using a Precision Hierarchy. | Richard J. Clancy, Matt Menickelly, Jan Hckelheim, Paul D. Hovland, Prani Nalluri, Rebecca Gjini |
| 2022 | ICCS | Reducing Memory Requirements of Quantum Optimal Control. | Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti, Jan Hckelheim, Paul D. Hovland |
| 2022 | ICPP | Automatic Differentiation of Parallel Loops with Formal Methods. | Jan Hckelheim, Laurent Hascot |
| 2022 | PPoPP | Automatic differentiation of parallel loops with formal methods. | Jan Hckelheim, Laurent Hascot |
| 2022 | SC | Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. | William S. Moses, Sri Hari Krishna Narayanan, Ludger Paehler, Valentin Churavy, Michel Schanen, Jan Hckelheim, Johannes Doerfert, Paul D. Hovland |
| 2022 | TACAS | Verifying Fortran Programs with CIVL. | Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel |
| 2021 | ICCS | Error Estimation and Correction Using the Forward CENA Method. | Paul D. Hovland, Jan Hckelheim |
| 2021 | SC | Reverse-mode automatic differentiation and optimization of GPU kernels via enzyme. | William S. Moses, Valentin Churavy, Ludger Paehler, Jan Hckelheim, Sri Hari Krishna Narayanan, Michel Schanen, Johannes Doerfert |
| 2020 | ICPP | Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures. | Jan Hckelheim, Michel Schanen, Sri Hari Krishna Narayanan, Paul D. Hovland |
| 2019 | EuroPar | Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems. | Navjot Kukreja, Jan Hckelheim, Mathias Louboutin, Paul D. Hovland, Gerard Gorman |
| 2019 | ICPP | Automatic Differentiation for Adjoint Stencil Loops. | Jan Hckelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland |
| 2018 | ICPP | Vectorised Computation of Diverging Ensembles. | Jan Hckelheim, Paul D. Hovland, Sri Hari Krishna Narayanan, Paulius Velesko |
| 2018 | SAS | Verifying Properties of Differentiable Programs. | Jan Hckelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland |
| 2017 | SC | Towards Self-Verification in Finite Difference Code Generation. | Jan Hckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland |
| 2017 | SC | Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. | Markus Schordan, Jan Hckelheim, Pei-Hung Lin, Harshitha Menon |