Paul D. Hovland

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
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 Static Analysis	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 Optimization Methods & Software	2018-10-09	Paper
Optimal multistage algorithm for adjoint computation SIAM Journal on Scientific Computing	2016-06-30	Paper
Term graphs for computing derivatives in imperative languages Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
An integer programming approach to optimal derivative accumulation Lecture Notes in Computational Science and Engineering	2012-09-26	Paper
Implementation of partial separability in a source-to-source transformation AD tool Lecture Notes in Computational Science and Engineering	2012-09-26	Paper
On the implementation of automatic differentiation tools Higher-Order and Symbolic Computation	2009-07-13	Paper
Linearity Analysis for Automatic Differentiation Computational Science – ICCS 2006	2009-01-20	Paper
A polynomial-time algorithm for detecting directed axial symmetry in Hessian computational graphs	2008-10-17	Paper
scientific article; zbMATH DE number 5353265 (Why is no real title available?)	2008-10-17	Paper
Design and implementation of a context-sensitive, flow-sensitive activity analysis algorithm for automatic differentiation	2008-10-17	Paper
scientific article; zbMATH DE number 2078924 (Why is no real title available?)	2004-07-12	Paper
Parallel components for PDEs and optimization: Some issues and experiences. Parallel Computing	2003-01-21	Paper
Parallel simulation of compressible flow using automatic differentiation and PETSc Parallel Computing	2001-08-20	Paper
Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics SIAM Journal on Scientific Computing	1998-02-10	Paper
scientific article; zbMATH DE number 1301910 (Why is no real title available?)	1998-01-01	Paper

Research outcomes over time

This page was built for person: Paul D. Hovland