Travelled to:1 × Norway
2 × USA
Collaborated with:O.Shivers R.P.Pargas J.Ludwick M.J.Harrold J.A.Jones T.Li D.Liang A.Orso M.Pennings S.Sinha A.Gujarathi
Talks about:type (2) algorithm (1) subgoal (1) softwar (1) scalabl (1) regress (1) languag (1) semant (1) select (1) search (1)
Person: S. Alexander Spoon
DBLP: Spoon:S=_Alexander
Contributed to:
2005
2004
2001
1997Wrote 4 papers:
- WCRE-2005-SpoonS #higher-order #navigation #scalability #semantics
- Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages (SAS, OS), pp. 219–228.
- ECOOP-2004-SpoonS #precise #scalability #type inference
- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
- OOPSLA-2001-HarroldJLLOPSSG #java #testing
- Regression Test Selection for Java Software (MJH, JAJ, TL, DL, AO, MP, SS, SAS, AG), pp. 312–326.
- SAC-1997-PargasLS #algorithm #hybrid
- Hybrid search algorithms (RPP, JL, SAS), pp. 269–273.