Jan Hückelheim

Available identifiers

zbMath Open huckelheim.jan-christianMaRDI QIDQ2023668

List of research outcomes

Publication	Date of Publication	Type
Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed	2024-01-12	Paper
Verifying properties of differentiable programs	2023-05-26	Paper
Understanding Automatic Differentiation Pitfalls	2023-05-12	Paper
Checkpointing with Time Gaps for Unsteady Adjoint CFD	2022-09-01	Paper
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops	2022-03-29	Paper
TROPHY: Trust Region Optimization Using a Precision Hierarchy	2022-02-16	Paper
Consistent treatment of incompletely converged iterative linear solvers in reverse-mode algorithmic differentiation	2021-05-03	Paper
Architecture and performance of Devito, a system for automated stencil computation	2020-11-10	Paper
Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation	2018-10-09	Paper
Algorithmic Differentiation of Code with Multiple Context-Specific Activities	2018-02-05	Paper

Research outcomes over time

This page was built for person: Jan Hückelheim