| 2021 | ISSAC | Equivalences for Linearizations of Matrix Polynomials. | Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders |
| 2020 | CASC | On Parametric Linear System Solving. | Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders |
| 2017 | ISSAC | Compiler auto-vectorization of matrix multiplication modulo small primes. | Matthew A. Lambert, B. David Saunders |
| 2015 | ISSAC | Matrices with Two Nonzero Entries per Row. | B. David Saunders |
| 2012 | ISSAC | Fast computation of Smith forms of sparse matrices over local rings. | Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders |
| 2011 | ISSAC | Quadratic-time certificates in linear algebra. | Erich L. Kaltofen, Michael Nehring, B. David Saunders |
| 2011 | ISSAC | Numeric-symbolic exact rational linear system solver. | B. David Saunders, David Harlan Wood, Bryan S. Youse |
| 2009 | ISSAC | On finding multiplicities of characteristic polynomial factors of black-box matrices. | Jean-Guillaume Dumas, Clment Pernet, B. David Saunders |
| 2009 | ISSAC | Large matrix, small rank. | B. David Saunders, Bryan S. Youse |
| 2007 | ISSAC | LinBox and future high performance computer algebra. | Bruce W. Char, B. David Saunders, Bryan S. Youse |
| 2007 | ISSAC | Numerical techniques for computing the inertia of products of matrices of rational numbers. | John P. May, B. David Saunders, David Harlan Wood |
| 2005 | ISSAC | Signature of symmetric rational matrices and the unitary dual of lie groups. | Jeffrey Adams, B. David Saunders, Zhendong Wan |
| 2001 | ISSAC | Black box methods for least squares problems. | B. David Saunders |
| 2000 | ISSAC | Integer Smith form via the valence: experience with large sparse matrices from homology. | Jean-Guillaume Dumas, B. David Saunders, Gilles Villard |
| 1998 | ISSAC | Certifying Inconsistency of Sparse Linear Systems. | Mark Giesbrecht, Austin Lobo, B. David Saunders |
| 1994 | ISSAC | On Computing Sparse Shifts for Univariate Polynomials. | Yagati N. Lakshman, B. David Saunders |
| 1989 | ISSAC | A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. | B. David Saunders, Hong R. Lee, S. Kamal Abdali |
| 1986 | ISSAC | Fast parallel algorithms for similarity of matrices. | Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders |
| 1981 | ISSAC | A generalized class of polynomials that are hard to factor. | Erich L. Kaltofen, David R. Musser, B. David Saunders |
| 1981 | ISSAC | An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations. | B. David Saunders |
| 1981 | ISSAC | An extension of Liouville's theorem on integration in finite terms. | Michael F. Singer, B. David Saunders, Bob F. Caviness |