Academic Publications

For a complete list of publications, see my Curriculum Vitae or my BibTeX file.

Spoon, S. Alexander. Fine-Grained API Evolution for Method Deprecation and Anti-Deprecation. Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD) 2007.
Spoon, S. Alexander. Anti-Deprecation: Towards Complete Static Checking for API Evolution. Workshop on Library-Centric Software Development (LCSD) 2006. (extended version with proofs)
Spoon, Alexander. Package Universes: Which Components Are Real Candidates? (EPFL tech report) 2006.
Spoon, S. Alexander, and Olin Shivers. "Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages". Working Conference on Reverse Engineering (WCRE) 2005.
Spoon, S. Alexander, and Olin Shivers. "Dynamic Data Polyvariance Using Source-Tagged Classes". Dynamic Languages Symposium (DLS) 2005.
Spoon, S. Alexander, and Olin Shivers. "Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability". European Conference on Object-Oriented Programming (ECOOP) 2004. (pdf ps)
Harrold, Mary Jean, et. al. "Regression Test Selection for Java Software". ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2001.
Spoon, Lex, and Mark Guzdial. "MuSwikis: A Graphical Collaboration System". Computer-Supported Collaborative Learning Conference (CSCL) 1999.
Pargas, Roy P., Jennifer Ludwick, and Steven A. Spoon. "Hybrid Search Algorithms". ACM Symposium on Applied Computing (SAC) 1997.