Paul D. Hovland

Available identifiers

zbMath Open hovland.paul-dWikidataQ102196917 ScholiaQ102196917MaRDI QIDQ1029808

List of research outcomes

Publication	Date of Publication	Type
Edge pushing is equivalent to vertex elimination for computing Hessians	2024-05-14	Paper
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
TROPHY: Trust Region Optimization Using a Precision Hierarchy	2022-02-16	Paper
Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation	2018-10-09	Paper
Optimal multistage algorithm for adjoint computation	2016-06-30	Paper
Term graphs for computing derivatives in imperative languages	2013-12-20	Paper
An integer programming approach to optimal derivative accumulation	2012-09-26	Paper
Implementation of partial separability in a source-to-source transformation AD tool	2012-09-26	Paper
On the implementation of automatic differentiation tools	2009-07-13	Paper
Linearity Analysis for Automatic Differentiation	2009-01-20	Paper
A polynomial-time algorithm for detecting directed axial symmetry in Hessian computational graphs	2008-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q3528770	2008-10-17	Paper
Design and implementation of a context-sensitive, flow-sensitive activity analysis algorithm for automatic differentiation	2008-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4474770	2004-07-12	Paper
Parallel components for PDEs and optimization: Some issues and experiences.	2003-01-21	Paper
Parallel simulation of compressible flow using automatic differentiation and PETSc	2001-08-20	Paper
Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics	1998-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q4247141	1998-01-01	Paper

Research outcomes over time

This page was built for person: Paul D. Hovland