Paul D. Hovland

From MaRDI portal
Person:1029808

Available identifiers

zbMath Open hovland.paul-dWikidataQ102196917 ScholiaQ102196917MaRDI QIDQ1029808

List of research outcomes





PublicationDate of PublicationType
Edge pushing is equivalent to vertex elimination for computing Hessians2024-05-14Paper
Model checking race-freedom when ``sequential consistency for data-race-free programs is guaranteed2024-01-12Paper
Verifying properties of differentiable programs2023-05-26Paper
Understanding Automatic Differentiation Pitfalls2023-05-12Paper
TROPHY: Trust Region Optimization Using a Precision Hierarchy2022-02-16Paper
Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation2018-10-09Paper
Optimal multistage algorithm for adjoint computation2016-06-30Paper
Term graphs for computing derivatives in imperative languages2013-12-20Paper
An integer programming approach to optimal derivative accumulation2012-09-26Paper
Implementation of partial separability in a source-to-source transformation AD tool2012-09-26Paper
On the implementation of automatic differentiation tools2009-07-13Paper
Linearity Analysis for Automatic Differentiation2009-01-20Paper
A polynomial-time algorithm for detecting directed axial symmetry in Hessian computational graphs2008-10-17Paper
https://portal.mardi4nfdi.de/entity/Q35287702008-10-17Paper
Design and implementation of a context-sensitive, flow-sensitive activity analysis algorithm for automatic differentiation2008-10-17Paper
https://portal.mardi4nfdi.de/entity/Q44747702004-07-12Paper
Parallel components for PDEs and optimization: Some issues and experiences.2003-01-21Paper
Parallel simulation of compressible flow using automatic differentiation and PETSc2001-08-20Paper
Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics1998-02-10Paper
https://portal.mardi4nfdi.de/entity/Q42471411998-01-01Paper

Research outcomes over time

This page was built for person: Paul D. Hovland