Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. - Larry Henschen; Barry Smith 002; Robert Veroff; Steve Winker; Larry Wos (Notre Dame J. Formal Log., 1983)

The Linked Inference Principle, II: The User's Viewpoint. - Larry Wos; Robert Veroff; Barry Smith 002; William McCune (CADE, 1984)

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. - Larry Wos; Steve Winker; Barry Smith 002; Robert Veroff; Lawrence J. Henschen (Artif. Intell., 1984)

The Interaction of Numerics and Machines / The Interaction of Numerics and Machines. - Craig C. Douglas; Michael E. Henderson; Susumu Horiguchi; Willard L. Miranker; Barry F. Smith; Andrew Winkler (it Inf. Technol., 1988)

A Domain Decomposition Algorithm Using a Hierarchical Basis. - Barry F. Smith; Olof B. Widlund (SIAM J. Sci. Comput., 1990)

An Optimal Domain Decomposition Preconditioner for the Finite Element Solution of Linear Elasticity Problems. - Barry F. Smith (SIAM J. Sci. Comput., 1992)

A Parallel Implementation of an Iterative Substructuring Algorithm for Problems in Three Dimensions. - Barry F. Smith (SIAM J. Sci. Comput., 1993)

6. Parallel Domain Decomposition Software. - William Gropp; Barry Smith 002 (Domain-Based Parallelism and Problem Decomposition Methods in Computational Science and Engineering, 1995)

Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries. - Satish Balay; William D. Gropp; Lois Curfman McInnes; Barry F. Smith (SciTools, 1996)

The Design of Data-Structure-Neutral Libraries for the Iterative Solution of Sparse Linear Systems. - Barry F. Smith; William D. Gropp (Sci. Program., 1996)

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)

Achieving High Sustained Performance in an Unstructured Mesh CFD Application. - W. K. Anderson; William D. Gropp; Dinesh K. Kaushik; David E. Keyes; Barry F. Smith (SC, 1999)

An Energy-minimizing Interpolation for Robust Multigrid Methods. - Wing Lok Wan; Tony F. Chan; Barry Smith 002 (SIAM J. Sci. Comput., 1999)

Analyzing the Parallel Scalability of an Implicit Unstructured Mesh CFD Code. - William Gropp; Dinesh K. Kaushik; Barry F. Smith; David E. Keyes (HiPC, 2000)

PETSc and Overture: Lessons Learned Developing an Interface between Components. - Kristopher R. Buschelman; William Gropp; Lois C. McInnes; Barry F. Smith (The Architecture of Scientific Software, 2000)

Performance Modeling and Tuning of an Unstructured Mesh CFD Application. - William Gropp; Dinesh K. Kaushik; David E. Keyes; Barry F. Smith (SC, 2000)

High-performance parallel implicit CFD. - William Gropp; Dinesh K. Kaushik; David E. Keyes; Barry F. Smith (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)

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

Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI. - Pavan Balaji; Darius Buntinas; Satish Balay; Barry F. Smith; Rajeev Thakur; William Gropp (IPDPS, 2007)

SIPs: Shift-and-invert parallel spectral transformations. - Hong Zhang 006; Barry Smith 002; Michael G. Sternberg; Peter Zapol (ACM Trans. Math. Softw., 2007)

Improving the Performance of Tensor Matrix Vector Multiplication in Cumulative Reaction Probability Based Quantum Chemistry Codes. - Dinesh K. Kaushik; William Gropp; Michael Minkoff; Barry F. Smith (HiPC, 2008)

Enabling high-fidelity neutron transport simulations on petascale architectures. - Dinesh K. Kaushik; Micheal Smith; Allan B. Wollaber; Barry F. Smith; Andrew R. Siegel; Won Sik Yang (SC, 2009)

Hybrid Programming Model for Implicit PDE Simulations on Multicore Architectures. - Dinesh K. Kaushik; David E. Keyes; Satish Balay; Barry F. Smith (IWOMP, 2011)

Sparse triangular solves for ILU revisited: data layout crucial to better performance. - Barry Smith 002; Hong Zhang 006 (Int. J. High Perform. Comput. Appl., 2011)

PETSc (Portable, Extensible Toolkit for Scientific Computation). - Barry Smith 002 (Encyclopedia of Parallel Computing, 2011)

Composable Linear Solvers for Multiphysics. - Jed Brown; Matthew G. Knepley; David A. May; Lois Curfman McInnes; Barry Smith 002 (ISPDC, 2012)

Evaluation of overlapping restricted additive schwarz preconditioning for parallel solution of very large power flow problems. - Shrirang Abhyankar; Barry Smith 002; Emil M. Constantinescu (HiPCNA-PG@SC, 2013)

Achieving High Performance with Unified Residual Evaluation. - Matthew G. Knepley; Jed Brown; Karl Rupp; Barry F. Smith (CoRR, 2013)

Multiphysics simulations: Challenges and opportunities. - David E. Keyes; Lois C. McInnes; Carol S. Woodward; William Gropp; Eric Myra; Michael Pernice; John B. Bell; Jed Brown; Alain Clo; Jeffrey M. Connors; Emil M. Constantinescu; Donald J. Estep; et al. (Int. J. High Perform. Comput. Appl., 2013)

Achieving Textbook Multigrid Efficiency for Hydrostatic Ice Sheet Flow. - Jed Brown; Barry Smith 002; Aron J. Ahmadia (SIAM J. Sci. Comput., 2013)

Hierarchical Krylov and nested Krylov methods for extreme-scale computing. - Lois Curfman McInnes; Barry Smith 002; Hong Zhang 006; Richard Tran Mills (Parallel Comput., 2014)

On The Evolution Of User Support Topics in Computational Science and Engineering Software. - Karl Rupp; Satish Balay; Jed Brown; Matthew G. Knepley; Lois C. McInnes; Barry Smith 002 (CoRR, 2015)

Run-Time Extensibility and Librarization of Simulation Software. - Jed Brown; Matthew G. Knepley; Barry F. Smith (Comput. Sci. Eng., 2015)

Probabilistic Density Function Method for Stochastic ODEs of Power Systems with Uncertain Power Input. - Peng Wang 022; David A. Barajas-Solano; Emil M. Constantinescu; Shrirang Abhyankar; Debojyoti Ghosh; Barry F. Smith; Zhenyu Huang 001; Alexandre M. Tartakovsky (SIAM/ASA J. Uncertain. Quantification, 2015)

Sparse Matrix-Matrix Products Executed Through Coloring. - Michael McCourt; Barry Smith 002; Hong Zhang 006 (SIAM J. Matrix Anal. Appl., 2015)

Composing Scalable Nonlinear Algebraic Solvers. - Peter R. Brune; Matthew G. Knepley; Barry F. Smith; Xuemin Tu (SIAM Rev., 2015)

Extreme-Scale Multigrid Components within PETSc. - Dave A. May; Patrick Sanan; Karl Rupp; Matthew G. Knepley; Barry F. Smith (PASC, 2016)

xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit. - Roscoe A. Bartlett; Irina Demeshko; Todd Gamblin; Glenn Hammond; Michael A. Heroux; Jeffrey Johnson; Alicia M. Klinvex; Xiaoye S. Li; Lois Curfman McInnes; J. David Moulton; Daniel Osei-Kuffuor; Jason Sarich; et al. (Supercomput. Front. Innov., 2017)

Parallel Dynamics Simulation Using a Krylov-Schwarz Linear Solution Scheme. - Shrirang Abhyankar; Emil M. Constantinescu; Barry F. Smith; Alexander J. Flueck; Daniel A. Maldonado (IEEE Trans. Smart Grid, 2017)

Vectorized Parallel Sparse Matrix-Vector Multiplication in PETSc Using AVX-512. - Hong Zhang 006; Richard Tran Mills; Karl Rupp; Barry F. Smith (ICPP, 2018)

A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic. - Ahmad Abdelfattah; Hartwig Anzt; Erik G. Boman; Erin C. Carson; Terry Cojean; Jack J. Dongarra; Mark Gates; Thomas Grützmacher; Nicholas J. Higham; Xiaoye Sherry Li; Neil Lindquist; Yang Liu 179; et al. (CoRR, 2020)

A scalable matrix-free spectral element approach for unsteady PDE constrained optimization using PETSc/TAO. - Oana Marin; Emil M. Constantinescu; Barry Smith 002 (J. Comput. Sci., 2020)

PETSc DMNetwork: A Library for Scalable Network PDE-Based Multiphysics Simulations. - Shrirang Abhyankar; Getnet D. Betrie; Daniel Adrian Maldonado; Lois C. McInnes; Barry Smith 002; Hong Zhang 006 (ACM Trans. Math. Softw., 2020)

A survey of numerical linear algebra methods utilizing mixed-precision arithmetic. - Ahmad Abdelfattah; Hartwig Anzt; Erik G. Boman; Erin C. Carson; Terry Cojean; Jack J. Dongarra; Alyson Fox; Mark Gates; Nicholas J. Higham; Xiaoye S. Li; Jennifer A. Loe; Piotr Luszczek; et al. (Int. J. High Perform. Comput. Appl., 2021)

Toward performance-portable PETSc for GPU-based exascale systems. - Richard Tran Mills; Mark F. Adams; Satish Balay; Jed Brown; Alp Dener; Matthew G. Knepley; Scott E. Kruger; Hannah Morgan; Todd S. Munson; Karl Rupp; Barry F. Smith; Stefano Zampini; et al. (Parallel Comput., 2021)

The PETSc Community Is the Infrastructure. - Mark F. Adams; Satish Balay; Oana Marin; Lois Curfman McInnes; Richard Tran Mills; Todd S. Munson; Hong Zhang 006; Junchao Zhang 002; Jed Brown; Victor Eijkhout; Jacob Faibussowitsch; Matthew G. Knepley; et al. (CoRR, 2022)

The PETSc Community as Infrastructure. - Mark F. Adams; Satish Balay; Oana Marin; Lois Curfman McInnes; Richard Tran Mills; Todd S. Munson; Hong Zhang 006; Junchao Zhang 002; Jed Brown; Victor Eijkhout; Jacob Faibussowitsch; Matthew G. Knepley; et al. (Comput. Sci. Eng., 2022)

PETSc TSAdjoint: A Discrete Adjoint ODE Solver for First-Order and Second-Order Sensitivity Analysis. - Hong Zhang 006; Emil M. Constantinescu; Barry F. Smith (SIAM J. Sci. Comput., 2022)

The PetscSF Scalable Communication Layer. - Junchao Zhang 002; Jed Brown; Satish Balay; Jacob Faibussowitsch; Matthew G. Knepley; Oana Marin; Richard Tran Mills; Todd S. Munson; Barry F. Smith; Stefano Zampini (IEEE Trans. Parallel Distributed Syst., 2022)

AI Assistants to Enhance and Exploit the PETSc Knowledge Base. - Barry Smith 002; Junchao Zhang 002; Hong Zhang; Lois Curfman McInnes; Murat Keçeli; Archit Vasan; Satish Balay; Toby Isaac; Le Chen; Venkatram Vishwanath (CoRR, 2025)