Hybrid search algorithms. - Roy P. Pargas; Jennifer Ludwick; Steven Alexander Spoon (SAC, 1997)

Regression Test Selection for Java Software. - Mary Jean Harrold; James A. Jones; Tongyu Li; Donglin Liang; Alessandro Orso; Maikel Pennings; Saurabh Sinha; Steven Alexander Spoon; Ashish Gujarathi (OOPSLA, 2001)

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. - Steven Alexander Spoon; Olin Shivers (ECOOP, 2004)

Dynamic data polyvariance using source-tagged classes. - Steven Alexander Spoon; Olin Shivers (DLS, 2005)

Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages. - Steven Alexander Spoon; Olin Shivers (WCRE, 2005)

Demand-Driven Type Inference with Subgoal Pruning. - Steven Alexander Spoon (2005)