Barry Smith

24 papers A 1C 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Agentic Evaluation Framework for AI-Generated Scientific Code in PETSc.
CoRR
Hong Zhang, Barry Smith, Satish Balay, Le Chen, Murat Keceli, Lois Curfman McInnes, Junchao Zhang
2025 — conf
AI Assistants to Enhance and Exploit the PETSc Knowledge Base.
ICPP Workshops
Barry Smith, Junchao Zhang, Hong Zhang, Lois Curfman McInnes, Murat Keçeli, Archit Vasan, Satish Balay, Toby Isaac, Le Chen, Venkatram Vishwanath
2025 J jnl
AI Assistants to Enhance and Exploit the PETSc Knowledge Base.
CoRR
Barry Smith, Junchao Zhang, Hong Zhang, Lois Curfman McInnes, Murat Keçeli, Archit Vasan, Satish Balay, Toby Isaac, Le Chen, Venkatram Vishwanath
2025 J jnl
Towards Seamless Interoperability of MPI-OpenMP Applications.
ACM Trans. Math. Softw.
Barry Smith, Marsha Berger, Junchao Zhang, Hui Zhou
2020 J jnl
A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic.
CoRR
Ahmad Abdelfattah, Hartwig Anzt, Erik G. Boman, Erin Carson, Terry Cojean, Jack J. Dongarra, Mark Gates, Thomas Grützmacher, Nicholas J. Higham, Xiaoye Sherry Li, Neil Lindquist, Yang Liu, Jennifer A. Loe, Piotr Luszczek, Pratik Nayak, Srikara Pranesh, Sivasankaran Rajamanickam, Tobias Ribizel, Barry Smith, Kasia Swirydowicz, Stephen J. Thomas, Stanimire Tomov, Yaohung M. Tsai, Ichitaro Yamazaki, Ulrike Meier Yang
2020 J jnl
A scalable matrix-free spectral element approach for unsteady PDE constrained optimization using PETSc/TAO.
J. Comput. Sci.
Oana Marin, Emil M. Constantinescu, Barry Smith
2020 J jnl
PETSc DMNetwork: A Library for Scalable Network PDE-Based Multiphysics Simulations.
ACM Trans. Math. Softw.
Shrirang Abhyankar, Getnet D. Betrie, Daniel Adrian Maldonado, Lois C. McInnes, Barry Smith, Hong Zhang
2017 J jnl
xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit.
CoRR
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, Barry Smith, James M. Willenbring, Ulrike Meier Yang
2017 J jnl
xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit.
Supercomput. Front. Innov.
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, Barry Smith, James M. Willenbring, Ulrike Meier Yang
2015 J jnl
On The Evolution Of User Support Topics in Computational Science and Engineering Software.
CoRR
Karl Rupp, Satish Balay, Jed Brown, Matthew G. Knepley, Lois C. McInnes, Barry Smith
2015 J jnl
Sparse Matrix-Matrix Products Executed Through Coloring.
SIAM J. Matrix Anal. Appl.
Michael McCourt, Barry Smith, Hong Zhang
2014 J jnl
Hierarchical Krylov and nested Krylov methods for extreme-scale computing.
Parallel Comput.
Lois Curfman McInnes, Barry Smith, Hong Zhang, Richard Tran Mills
2013 J jnl
Achieving Textbook Multigrid Efficiency for Hydrostatic Ice Sheet Flow.
SIAM J. Sci. Comput.
Jed Brown, Barry Smith, Aron J. Ahmadia
2013 — conf
Evaluation of overlapping restricted additive schwarz preconditioning for parallel solution of very large power flow problems.
HiPCNA-PG@SC
Shrirang Abhyankar, Barry Smith, Emil M. Constantinescu
2013 J jnl
Multiphysics simulations: Challenges and opportunities.
Int. J. High Perform. Comput. Appl.
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, Kate Evans, Charbel Farhat, Ammar Hakim, Glenn Hammond, Glen Hansen, Judith C. Hill, Tobin Isaac, Xiangmin Jiao, Kirk E. Jordan, Dinesh K. Kaushik, Efthimios Kaxiras, Alice E. Koniges, Kihwan Lee, Aaron Lott, Qiming Lu, John Magerlein, Reed Maxwell, Michael McCourt, Miriam Mehl, Roger P. Pawlowski, Amanda Peters Randles, Daniel R. Reynolds, Beatrice Riviere, Ulrich Rüde, Timothy D. Scheibe, John N. Shadid, Brendan Sheehan, Mark S. Shephard, Andrew R. Siegel, Barry Smith, Xianzhu Tang, Cian Wilson, Barbara I. Wohlmuth
2012 C conf
Composable Linear Solvers for Multiphysics.
ISPDC
Jed Brown, Matthew G. Knepley, David A. May, Lois Curfman McInnes, Barry Smith
2011 — ch.
PETSc (Portable, Extensible Toolkit for Scientific Computation).
Encyclopedia of Parallel Computing
Barry Smith
2011 J jnl
Sparse triangular solves for ILU revisited: data layout crucial to better performance.
Int. J. High Perform. Comput. Appl.
Barry Smith, Hong Zhang
2007 J jnl
SIPs: Shift-and-invert parallel spectral transformations.
ACM Trans. Math. Softw.
Hong Zhang, Barry Smith, Michael G. Sternberg, Peter Zapol
1999 J jnl
An Energy-minimizing Interpolation for Robust Multigrid Methods.
SIAM J. Sci. Comput.
Wing Lok Wan, Tony F. Chan, Barry Smith
1995 — ch.
6. Parallel Domain Decomposition Software.
Domain-Based Parallelism and Problem Decomposition Methods in Computational Science and Engineering
William Gropp, Barry Smith
1984 J jnl
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.
Artif. Intell.
Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
1984 A conf
The Linked Inference Principle, II: The User's Viewpoint.
CADE
Larry Wos, Robert Veroff, Barry Smith, William McCune
1983 J jnl
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.
Notre Dame J. Formal Log.
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos