Barry Smith

Publication Activity (10 Years)

Years Active: 1983-2020
Publications (10 Years): 5

Top Topics

Computational Science

Development Kit

Unconstrained Optimization

Top Venues

SIAM J. Matrix Anal. Appl.

J. Comput. Sci.

ACM Trans. Math. Softw.

Publications

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, 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
A Survey of Numerical Methods Utilizing Mixed Precision Arithmetic. CoRR (2020)
Oana Marin, Emil M. Constantinescu, Barry Smith
A scalable matrix-free spectral element approach for unsteady PDE constrained optimization using PETSc/TAO. J. Comput. Sci. 47 (2020)
Shrirang Abhyankar, Getnet Betrie, Daniel Adrian Maldonado, Lois C. McInnes, Barry Smith, Hong Zhang
PETSc DMNetwork: A Library for Scalable Network PDE-Based Multiphysics Simulations. ACM Trans. Math. Softw. 46 (1) (2020)
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
xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit. CoRR (2017)
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
xSDK Foundations: Toward an Extreme-scale Scientific Software Development Kit. Supercomput. Front. Innov. 4 (1) (2017)
Michael McCourt, Barry Smith, Hong Zhang
Sparse Matrix-Matrix Products Executed Through Coloring. SIAM J. Matrix Anal. Appl. 36 (1) (2015)
Karl Rupp, Satish Balay, Jed Brown, Matthew G. Knepley, Lois C. McInnes, Barry Smith
On The Evolution Of User Support Topics in Computational Science and Engineering Software. CoRR (2015)
Lois Curfman McInnes, Barry Smith, Hong Zhang, Richard Tran Mills
Hierarchical Krylov and nested Krylov methods for extreme-scale computing. Parallel Comput. 40 (1) (2014)
Jed Brown, Barry Smith, Aron J. Ahmadia
Achieving Textbook Multigrid Efficiency for Hydrostatic Ice Sheet Flow. SIAM J. Sci. Comput. 35 (2) (2013)
Shrirang Abhyankar, Barry Smith, Emil M. Constantinescu
Evaluation of overlapping restricted additive schwarz preconditioning for parallel solution of very large power flow problems. HiPCNA-PG@SC (2013)
David E. Keyes, Lois C. McInnes, Carol S. Woodward, William Gropp, Eric Myra, Michael Pernice, John 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 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, Béatrice Rivière, 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
Multiphysics simulations: Challenges and opportunities. Int. J. High Perform. Comput. Appl. 27 (1) (2013)
Jed Brown, Matthew G. Knepley, David A. May, Lois Curfman McInnes, Barry Smith
Composable Linear Solvers for Multiphysics. ISPDC (2012)
Barry Smith, Hong Zhang
Sparse triangular solves for ILU revisited: data layout crucial to better performance. Int. J. High Perform. Comput. Appl. 25 (4) (2011)
Hong Zhang, Barry Smith, Michael G. Sternberg, Peter Zapol
SIPs: Shift-and-invert parallel spectral transformations. ACM Trans. Math. Softw. 33 (2) (2007)
Wing Lok Wan, Tony F. Chan, Barry Smith
An Energy-minimizing Interpolation for Robust Multigrid Methods. SIAM J. Sci. Comput. 21 (4) (1999)
Larry Wos, Robert Veroff, Barry Smith, William McCune
The Linked Inference Principle, II: The User's Viewpoint. CADE (1984)
Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. 22 (3) (1984)
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24 (2) (1983)