ADIFOR - Generating Derivative Codes form Fortran Programs. - Christian H. Bischof; Alan Carle; George F. Corliss; Andreas Griewank; Paul D. Hovland (Sci. Program., 1992)

Further Research on Feature Selection and Classification Using Genetic Algorithms. - William F. Punch III; Erik D. Goodman; Min Pei; Lai Chia-Shun; Paul D. Hovland; Richard J. Enbody (ICGA, 1993)

A Model for Automatic Dta Partitioning. - Paul D. Hovland; Lionel M. Ni (ICPP (2), 1993)

Automatic Differentiation of a Parallel Molecular Dynamics Application. - Paul D. Hovland; Christian H. Bischof; Lucas Roh (PP, 1997)

Efficient Derivative Codes through Automatic Differentiation and Interface Contraction: An Application in Biostatistics. - Paul D. Hovland; Christian H. Bischof; Donna Spiegelman; Mario Casella (SIAM J. Sci. Comput., 1997)

Automatic Differentiation of Parallel Programs - Paul D. Hovland (1997)

Automatic Differentiation for Message-Passing Parallel Programs. - Paul D. Hovland; Christian H. Bischof (IPPS/SPDP, 1998)

Infrastructure and Interfaces for Large-Scale Numerical Software. - Lori A. Freitag; William Gropp; Paul D. Hovland; Lois C. McInnes; Barry F. Smith (PDPTA, 1999)

Solving Nonlinear PDEs Using PETSc and Automatic Differentiation. - Paul D. Hovland; Lois C. McInnes; Barry F. Smith (PP, 1999)

On Combining Computational Differentiation and Toolkits for Parallel Scientific Computing. - Christian H. Bischof; H. Martin Bücker; Paul D. Hovland (Euro-Par, 2000)

A Distributed Application Server for Automatic Differentiation. - Boyana Norris; Paul D. Hovland (IPDPS, 2001)

Parallel simulation of compressible flow using automatic differentiation and PETSc. - Paul D. Hovland; Lois C. McInnes (Parallel Comput., 2001)

Parallel components for PDEs and optimization: some issues and experiences. - Boyana Norris; Satish Balay; Steven Benson; Lori A. Freitag; Paul D. Hovland; Lois C. McInnes; Barry F. Smith (Parallel Comput., 2002)

Metrics and models for reordering transformations. - Michelle Mills Strout; Paul D. Hovland (Memory System Performance, 2004)

Representation-independent program analysis. - Michelle Mills Strout; John M. Mellor-Crummey; Paul D. Hovland (PASTE, 2005)

Making automatic differentiation truly automatic: coupling PETSc with ADIC. - Paul D. Hovland; Boyana Norris; Barry F. Smith (Future Gener. Comput. Syst., 2005)

Hybrid Static/Dynamic Activity Analysis. - Barbara Kreaseck; Luis Ramos; Scott Easterday; Michelle Mills Strout; Paul D. Hovland (International Conference on Computational Science (4), 2006)

Linearity Analysis for Automatic Differentiation. - Michelle Mills Strout; Paul D. Hovland (International Conference on Computational Science (4), 2006)

Data-Flow Analysis for MPI Programs. - Michelle Mills Strout; Barbara Kreaseck; Paul D. Hovland (ICPP, 2006)

Term Graphs for Computing Derivatives in Imperative Languages. - Paul D. Hovland; Boyana Norris; Michelle Mills Strout; Jean Utke (TERMGRAPH@ETAPS, 2006)

Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive. - Jaewook Shin; Paul D. Hovland (SAC, 2007)

Improving the Performance of Graph Coloring Algorithms through Backtracking. - Sanjukta Bhowmick; Paul D. Hovland (ICCS (1), 2008)

A Framework for Proving Correctness of Adjoint Message-Passing Programs. - Uwe Naumann; Laurent Hascoët; Chris Hill; Paul D. Hovland; Jan Riehme; Jean Utke (PVM/MPI, 2008)

On the implementation of automatic differentiation tools. - Christian H. Bischof; Paul D. Hovland; Boyana Norris (High. Order Symb. Comput., 2008)

Improving Random Walk Performance. - Ilya Safro; Paul D. Hovland; Jaewook Shin; Michelle Mills Strout (CSC, 2009)

Evaluation of Hierarchical Mesh Reorderings. - Michelle Mills Strout; Nissa Osheim; Dave Rostron; Paul D. Hovland; Alex Pothen (ICCS (1), 2009)

Toward adjoinable MPI. - Jean Utke; Laurent Hascoët; Patrick Heimbach; Chris Hill; Paul D. Hovland; Uwe Naumann (IPDPS, 2009)

Automatic Differentiation: Parallel Computation. - Christian H. Bischof; Paul D. Hovland (Encyclopedia of Optimization, 2009)

Autotuning and Specialization: Speeding up Matrix Multiply for Small Matrices with Compiler Technology. - Jaewook Shin; Mary W. Hall; Jacqueline Chame; Chun Chen 002; Paul D. Hovland (Software Automatic Tuning, From Concepts to State-of-the-Art Results, 2010)

Generating Performance Bounds from Source Code. - Sri Hari Krishna Narayanan; Boyana Norris; Paul D. Hovland (ICPP Workshops, 2010)

Speeding up Nek5000 with autotuning and specialization. - Jaewook Shin; Mary W. Hall; Jacqueline Chame; Chun Chen 002; Paul F. Fischer; Paul D. Hovland (ICS, 2010)

Can search algorithms save large-scale automatic performance tuning? - Prasanna Balaprakash; Stefan M. Wild; Paul D. Hovland (ICCS, 2011)

Sparse Jacobian Computation Using ADIC2 and ColPack. - Sri Hari Krishna Narayanan; Boyana Norris; Paul D. Hovland; Duc C. Nguyen; Assefaw Hadish Gebremedhin (ICCS, 2011)

Abstract: An Exascale Workload Study. - Prasanna Balaprakash; Darius Buntinas; Anthony Chan; Apala Guha; Rinku Gupta; Sri Hari Krishna Narayanan; Andrew A. Chien; Paul D. Hovland; Boyana Norris (SC Companion, 2012)

Poster: An Exascale Workload Study. - Prasanna Balaprakash; Darius Buntinas; Anthony Chan; Apala Guha; Rinku Gupta; Sri Hari Krishna Narayanan; Andrew A. Chien; Paul D. Hovland; Boyana Norris (SC Companion, 2012)

An Experimental Study of Global and Local Search Algorithms in Empirical Performance Tuning. - Prasanna Balaprakash; Stefan M. Wild; Paul D. Hovland (VECPAR, 2012)

Exascale workload characterization and architecture implications. - Prasanna Balaprakash; Darius Buntinas; Anthony Chan; Apala Guha; Rinku Gupta; Sri Hari Krishna Narayanan; Andrew A. Chien; Paul D. Hovland; Boyana Norris (ISPASS, 2013)

Empirical performance modeling of GPU kernels using active learning. - Prasanna Balaprakash; Karl Rupp; Azamat Mametjanov; Robert B. Gramacy; Paul D. Hovland; Stefan M. Wild (PARCO, 2013)

Software Abstractions and Methodologies for HPC Simulation Codes on Future Architectures. - Anshu Dubey; Steven R. Brandt; Richard C. Brower; M. Giles; Paul D. Hovland; Don Q. Lamb; Frank Löffler 001; Boyana Norris; Brian W. O'Shea; Claudio Rebbi; Marc Snir; Rajeev Thakur (CoRR, 2013)

Energy-performance tradeoffs in multilevel checkpoint strategies. - Leonardo Arturo Bautista-Gomez; Prasanna Balaprakash; Mohamed-Slim Bouguerra; Stefan M. Wild; Franck Cappello; Paul D. Hovland (CLUSTER, 2014)

Analysis of the Tradeoffs Between Energy and Run Time for Multilevel Checkpointing. - Prasanna Balaprakash; Leonardo Arturo Bautista-Gomez; Mohamed-Slim Bouguerra; Stefan M. Wild; Franck Cappello; Paul D. Hovland (PMBS@SC, 2014)

Collective I/O Tuning Using Analytical and Machine Learning Models. - Florin Isaila; Prasanna Balaprakash; Stefan M. Wild; Dries Kimpe; Robert Latham; Robert B. Ross; Paul D. Hovland (CLUSTER, 2015)

Autotuning FPGA Design Parameters for Performance and Power. - Azamat Mametjanov; Prasanna Balaprakash; Chekuri Choudary; Paul D. Hovland; Stefan M. Wild; Gerald Sabin (FCCM, 2015)

Generating Efficient Tensor Contractions for GPUs. - Thomas Nelson; Axel Rivera; Prasanna Balaprakash; Mary W. Hall; Paul D. Hovland; Elizabeth R. Jessup; Boyana Norris (ICPP, 2015)

Exploiting Performance Portability in Search Algorithms for Autotuning. - Amit Roy; Prasanna Balaprakash; Paul D. Hovland; Stefan M. Wild (IPDPS Workshops, 2016)

Edge Pushing is Equivalent to Vertex Elimination for Computing Hessians. - Mu Wang; Alex Pothen; Paul D. Hovland (CSC, 2016)

AutoMOMML: Automatic Multi-objective Modeling with Machine Learning. - Prasanna Balaprakash; Ananta Tiwari; Stefan M. Wild; Laura Carrington; Paul D. Hovland (ISC, 2016)

Optimal Multistage Algorithm for Adjoint Computation. - Guillaume Aupy; Julien Herrmann; Paul D. Hovland; Yves Robert (SIAM J. Sci. Comput., 2016)

Towards Self-Verification in Finite Difference Code Generation. - Jan Hückelheim; Ziqing Luo; Fabio Luporini; Navjot Kukreja; Michael Lange 001; Gerard Gorman; Stephen F. Siegel; Matthew B. Dwyer; Paul D. Hovland (CORRECTNESS@SC, 2017)

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. - Ganesh Gopalakrishnan; Paul D. Hovland; Costin Iancu; Sriram Krishnamoorthy; Ignacio Laguna; Richard A. Lethin; Koushik Sen; Stephen F. Siegel; Armando Solar-Lezama (CoRR, 2017)

Vectorised Computation of Diverging Ensembles. - Jan Hückelheim; Paul D. Hovland; Sri Hari Krishna Narayanan; Paulius Velesko (ICPP, 2018)

Verifying Properties of Differentiable Programs. - Jan Hückelheim; Ziqing Luo; Sri Hari Krishna Narayanan; Stephen F. Siegel; Paul D. Hovland (SAS, 2018)

Combining checkpointing and data compression for large scale seismic inversion. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; Kaiyuan Hou; Fabio Luporini; Paul D. Hovland; Gerard Gorman (CoRR, 2018)

Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation. - Jan Christian Hückelheim; Paul D. Hovland; Michelle Mills Strout; Jens-Dominik Müller (Optim. Methods Softw., 2018)

Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems. - Navjot Kukreja; Jan Hückelheim; Mathias Louboutin; Paul D. Hovland; Gerard Gorman (Euro-Par, 2019)

Automatic Differentiation for Adjoint Stencil Loops. - Jan Hückelheim; Navjot Kukreja; Sri Hari Krishna Narayanan; Fabio Luporini; Gerard Gorman; Paul D. Hovland (ICPP, 2019)

Training on the Edge: The why and the how. - Navjot Kukreja; Alena Shilova; Olivier Beaumont; Jan Hückelheim; Nicola J. Ferrier; Paul D. Hovland; Gerard Gorman (IPDPS Workshops, 2019)

Computing Derivatives for PETSc Adjoint Solvers using Algorithmic Differentiation. - Joseph G. Wallwork; Paul D. Hovland; Hong Zhang 006; Oana Marin (CoRR, 2019)

Reverse-mode algorithmic differentiation of an OpenMP-parallel compressible flow solver. - Jan Hückelheim; Paul D. Hovland; Michelle Mills Strout; Jens-Dominik Müller (Int. J. High Perform. Comput. Appl., 2019)

Vector Forward Mode Automatic Differentiation on SIMD/SIMT architectures. - Jan Hückelheim; Michel Schanen; Sri Hari Krishna Narayanan; Paul D. Hovland (ICPP, 2020)

Error Estimation and Correction Using the Forward CENA Method. - Paul D. Hovland; Jan Hückelheim (ICCS (1), 2021)

Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations. - Jaehoon Koo; Prasanna Balaprakash; Michael Kruse; Xingfu Wu; Paul D. Hovland; Mary W. Hall (PMBS, 2021)

Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version). - Xingfu Wu; Michael Kruse; Prasanna Balaprakash; Hal Finkel; Paul D. Hovland; Valerie Taylor 001; Mary W. Hall (CoRR, 2021)

TROPHY: Trust Region Optimization Using a Precision Hierarchy. - Richard J. Clancy; Matt Menickelly; Jan Hückelheim; Paul D. Hovland; Prani Nalluri; Rebecca Gjini (ICCS (1), 2022)

Reducing Memory Requirements of Quantum Optimal Control. - Sri Hari Krishna Narayanan; Thomas Propson; Marcelo Bongarti; Jan Hückelheim; Paul D. Hovland (ICCS (4), 2022)

Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation. - William S. Moses; Sri Hari Krishna Narayanan; Ludger Paehler; Valentin Churavy; Michel Schanen; Jan Hückelheim; Johannes Doerfert; Paul D. Hovland (SC, 2022)

Improving PyDDA's atmospheric wind retrievals using automatic differentiation and Augmented Lagrangian methods. - Robert Jackson; Rebecca Gjini; Sri Hari Krishna Narayanan; Matt Menickelly; Paul D. Hovland; Jan Hückelheim; Scott M. Collis (SciPy, 2022)

Verifying Fortran Programs with CIVL. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (TACAS (1), 2022)

Autotuning PolyBench benchmarks with LLVM Clang/Polly loop optimization pragmas using Bayesian optimization. - Xingfu Wu; Michael Kruse; Prasanna Balaprakash; Hal Finkel; Paul D. Hovland; Valerie Taylor 001; Mary W. Hall (Concurr. Comput. Pract. Exp., 2022)

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (CAV (2), 2023)

Enhancing Virtual Distillation with Circuit Cutting for Quantum Error Mitigation. - Peiyi Li 002; Ji Liu 007; Hrushikesh Pramod Patil; Paul D. Hovland; Huiyang Zhou (ICCD, 2023)

Accelerating VQE Algorithm via Parameters and Measurement Reuse. - Xinpeng Li; Ji Liu 007; Ethan H. Hansen; Shuai Xu; Paul D. Hovland; Vipin Chaudhary (ICRC, 2023)

Transfer-learning-based Autotuning using Gaussian Copula. - Thomas Randall; Jaehoon Koo; Brice Videau; Michael Kruse; Xingfu Wu; Paul D. Hovland; Mary W. Hall; Rong Ge 002; Prasanna Balaprakash (ICS, 2023)

QContext: Context-Aware Decomposition for Quantum Gates. - Ji Liu 007; Max Bowman; Pranav Gokhale; Siddharth Dangwal; Jeffrey Larson 001; Frederic T. Chong; Paul D. Hovland (ISCAS, 2023)

Tackling the Qubit Mapping Problem with Permutation-Aware Synthesis. - Ji Liu 007; Ed Younis; Mathias Weiden; Paul D. Hovland; John Kubiatowicz; Costin Iancu (QCE, 2023)

Understanding Automatic Differentiation Pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (CoRR, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

SC4DRF artifact. - Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Ziqing Luo; Stephen F. Siegel (Zenodo, 2023)

QuTracer: Mitigating Quantum Gate and Measurement Errors by Tracing Subsets of Qubits. - Peiyi Li 002; Ji Liu 007; Alvin Gonzales; Zain H. Saleem; Huiyang Zhou; Paul D. Hovland (ISCA, 2024)

Differentiating Through Linear Solvers. - Paul D. Hovland; Jan Hückelheim (CoRR, 2024)

QuCLEAR: Clifford Extraction and Absorption for Significant Reduction in Quantum Circuit Size. - Ji Liu 007; Alvin Gonzales; Benchen Huang; Zain H. Saleem; Paul D. Hovland (CoRR, 2024)

A taxonomy of automatic differentiation pitfalls. - Jan Hückelheim; Harshitha Menon; William S. Moses; Bruce Christianson; Paul D. Hovland; Laurent Hascoët (WIREs Data. Mining. Knowl. Discov., 2024)

Verifying PETSc Vector Components Using CIVL. - Venkata Dhavala; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel (CAV (1), 2025)

QuCLEAR: Clifford Extraction and Absorption for Quantum Circuit Optimization. - Ji Liu 007; Alvin Gonzales; Benchen Huang; Zain Hamid Saleem; Paul D. Hovland (HPCA, 2025)

State Dependent Optimization with Quantum Circuit Cutting. - Xinpeng Li; Ji Liu 007; Jeffrey M. Larson; Shuai Xu; Sundararaja Sitharama Iyengar; Paul D. Hovland; Vipin Chaudhary (ISVLSI, 2025)

MITgcm-AD v2: Open source tangent linear and adjoint modeling framework for the oceans and atmosphere enabled by the Automatic Differentiation tool Tapenade. - Shreyas Sunil Gaikwad; Sri Hari Krishna Narayanan; Laurent Hascoët; Jean-Michel Campin; Helen Pillar; An Nguyen; Jan Hückelheim; Paul D. Hovland; Patrick Heimbach (Future Gener. Comput. Syst., 2025)

Integrating ytopt and libEnsemble to autotune OpenMC. - Xingfu Wu; John R. Tramm; Jeffrey Larson 001; John-Luke Navarro; Prasanna Balaprakash; Brice Videau; Michael Kruse; Paul D. Hovland; Valerie Taylor 001; Mary W. Hall (Int. J. High Perform. Comput. Appl., 2025)

ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales. - Xingfu Wu; Prasanna Balaprakash; Michael Kruse; Jaehoon Koo; Brice Videau; Paul D. Hovland; Valerie Taylor 001; Brad Geltz; Siddhartha Jana; Mary W. Hall (Concurr. Comput. Pract. Exp., 2025)

CoLA: Compute-Efficient Pre-Training of LLMs via Low-Rank Activation. - Ziyue Liu; Ruijie Zhang; Zhengyang Wang; Zi Yang; Paul D. Hovland; Bogdan Nicolae; Franck Cappello; Zheng Zhang (CoRR, 2025)

Is Circuit Depth Accurate for Comparing Quantum Circuit Runtimes? - Matthew Tremba; Ji Liu; Paul D. Hovland (CoRR, 2025)