Skip to content

Paul D. Hovland

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

44

Venues

23

Active years

1993–2026

Best venue rank

A*

Where they publish

Papers

44 indexed papers, newest first.

YearVenueTitleAuthors
2026CGOThinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation.Siyuan Brant Qian, Vimarsh Sathia, Ivan R. Ivanov, Jan Hckelheim, Paul D. Hovland, William S. Moses
2025CAVVerifying PETSc Vector Components Using CIVL.Venkata Dhavala, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel
2025DACHardware-Software Co-design for Distributed Quantum Computing.Ji Liu, Allen Zang, Martin Suchara, Tian Zhong, Paul D. Hovland
2025EMNLPCoLA: Compute-Efficient Pre-Training of LLMs via Low-Rank Activation.Ziyue Liu, Ruijie Zhang, Zhengyang Wang, Mingsong Yan, Zi Yang, Paul D. Hovland, Bogdan Nicolae, Franck Cappello, Sui Tang, Zheng Zhang
2025HiPCHOPPS: Hardware-Aware Optimal Phase Polynomial Synthesis with Blockwise Optimization for Quantum Circuits.Xinpeng Li, Ji Liu, Shuai Xu, Paul D. Hovland, Vipin Chaudhary
2025HPCAQuCLEAR: Clifford Extraction and Absorption for Quantum Circuit Optimization.Ji Liu, Alvin Gonzales, Benchen Huang, Zain Hamid Saleem, Paul D. Hovland
2025QCEIs Circuit Depth Accurate for Comparing Quantum Circuit Runtimes?Matthew Tremba, Paul D. Hovland, Ji Liu
2024ISCAQuTracer: Mitigating Quantum Gate and Measurement Errors by Tracing Subsets of Qubits.Peiyi Li, Ji Liu, Alvin Gonzales, Zain H. Saleem, Huiyang Zhou, Paul D. Hovland
2023CAVModel Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
2023ICCDEnhancing Virtual Distillation with Circuit Cutting for Quantum Error Mitigation.Peiyi Li, Ji Liu, Hrushikesh Pramod Patil, Paul D. Hovland, Huiyang Zhou
2023ISCASQContext: Context-Aware Decomposition for Quantum Gates.Ji Liu, Max Bowman, Pranav Gokhale, Siddharth Dangwal, Jeffrey Larson, Frederic T. Chong, Paul D. Hovland
2023ICSTransfer-learning-based Autotuning using Gaussian Copula.Thomas Randall, Jaehoon Koo, Brice Videau, Michael Kruse, Xingfu Wu, Paul D. Hovland, Mary W. Hall, Rong Ge, Prasanna Balaprakash
2023QCETackling the Qubit Mapping Problem with Permutation-Aware Synthesis.Ji Liu, Ed Younis, Mathias Weiden, Paul D. Hovland, John Kubiatowicz, Costin Iancu
2022ICCSTROPHY: Trust Region Optimization Using a Precision Hierarchy.Richard J. Clancy, Matt Menickelly, Jan Hckelheim, Paul D. Hovland, Prani Nalluri, Rebecca Gjini
2022ICCSReducing Memory Requirements of Quantum Optimal Control.Sri Hari Krishna Narayanan, Thomas Propson, Marcelo Bongarti, Jan Hckelheim, Paul D. Hovland
2022SCScalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation.William S. Moses, Sri Hari Krishna Narayanan, Ludger Paehler, Valentin Churavy, Michel Schanen, Jan Hckelheim, Johannes Doerfert, Paul D. Hovland
2022TACASVerifying Fortran Programs with CIVL.Wenhao Wu, Jan Hckelheim, Paul D. Hovland, Stephen F. Siegel
2021ICCSError Estimation and Correction Using the Forward CENA Method.Paul D. Hovland, Jan Hckelheim
2020ICPPVector Forward Mode Automatic Differentiation on SIMD/SIMT architectures.Jan Hckelheim, Michel Schanen, Sri Hari Krishna Narayanan, Paul D. Hovland
2019EuroParCombining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems.Navjot Kukreja, Jan Hckelheim, Mathias Louboutin, Paul D. Hovland, Gerard Gorman
2019ICPPAutomatic Differentiation for Adjoint Stencil Loops.Jan Hckelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, Paul D. Hovland
2018ICPPVectorised Computation of Diverging Ensembles.Jan Hckelheim, Paul D. Hovland, Sri Hari Krishna Narayanan, Paulius Velesko
2018SASVerifying Properties of Differentiable Programs.Jan Hckelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
2017SCTowards Self-Verification in Finite Difference Code Generation.Jan Hckelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
2015CLUSTERCollective 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
2015FCCMAutotuning FPGA Design Parameters for Performance and Power.Azamat Mametjanov, Prasanna Balaprakash, Chekuri Choudary, Paul D. Hovland, Stefan M. Wild, Gerald Sabin
2015ICPPGenerating Efficient Tensor Contractions for GPUs.Thomas Nelson, Axel Rivera, Prasanna Balaprakash, Mary W. Hall, Paul D. Hovland, Elizabeth R. Jessup, Boyana Norris
2014CLUSTEREnergy-performance tradeoffs in multilevel checkpoint strategies.Leonardo Arturo Bautista-Gomez, Prasanna Balaprakash, Mohamed-Slim Bouguerra, Stefan M. Wild, Franck Cappello, Paul D. Hovland
2014SCAnalysis 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
2013ISPASSExascale 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
2012SCAbstract: 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
2012SCPoster: 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
2010ICSSpeeding up Nek5000 with autotuning and specialization.Jaewook Shin, Mary W. Hall, Jacqueline Chame, Chun Chen, Paul F. Fischer, Paul D. Hovland
2009ICCSEvaluation of Hierarchical Mesh Reorderings.Michelle Mills Strout, Nissa Osheim, Dave Rostron, Paul D. Hovland, Alex Pothen
2008ICCSImproving the Performance of Graph Coloring Algorithms through Backtracking.Sanjukta Bhowmick, Paul D. Hovland
2007SACComparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive.Jaewook Shin, Paul D. Hovland
2006ICCSHybrid Static/Dynamic Activity Analysis.Barbara Kreaseck, Luis Ramos, Scott Easterday, Michelle Mills Strout, Paul D. Hovland
2006ICCSLinearity Analysis for Automatic Differentiation.Michelle Mills Strout, Paul D. Hovland
2006ICPPData-Flow Analysis for MPI Programs.Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland
2002ICCSMaking Automatic Differentiation Truly Automatic: Coupling PETSc with ADIC.Paul D. Hovland, Boyana Norris, Barry F. Smith
2002PEPMImplementation of automatic differentiation tools.Christian H. Bischof, Paul D. Hovland, Boyana Norris
2000EuroParOn Combining Computational Differentiation and Toolkits for Parallel Scientific Computing.Christian H. Bischof, H. Martin Bcker, Paul D. Hovland
1999PDPTAInfrastructure and Interfaces for Large-Scale Numerical Software.Lori A. Freitag, William Gropp, Paul D. Hovland, Lois C. McInnes, Barry F. Smith
1993ICPPA Model for Automatic Dta Partitioning.Paul D. Hovland, Lionel M. Ni