Saunders develops mathematical methods for solving large-scale constrained optimization problems and large systems of equations. He also implements such methods as general-purpose software to allow their use in many areas of engineering, science, and business. He is co-developer of the large-scale optimizers MINOS, SNOPT, SQOPT and the linear equation solvers SYMMLQ, MINRES, LSQR, LUSOL.