Jan Hückelheim

MaRDI QIDQ2023668zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Static Analysis	2023-05-26	Paper
Understanding Automatic Differentiation Pitfalls	2023-05-12	Paper
Checkpointing with Time Gaps for Unsteady Adjoint CFD Computational Methods in Applied Sciences	2022-09-01	Paper
Source-to-Source Automatic Differentiation of OpenMP Parallel Loops ACM Transactions on Mathematical Software	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 Computational Optimization and Applications	2021-05-03	Paper
Architecture and performance of Devito, a system for automated stencil computation ACM Transactions on Mathematical Software	2020-11-10	Paper
Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation Optimization Methods & Software	2018-10-09	Paper
Algorithmic Differentiation of Code with Multiple Context-Specific Activities ACM Transactions on Mathematical Software	2018-02-05	Paper

Research outcomes over time

This page was built for person: Jan Hückelheim