Demand-Driven Type Inference with Subgoal Pruning.
PhD thesis, 2005
Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages.
Proceedings of the 12th Working Conference on Reverse Engineering, 2005
Dynamic data polyvariance using source-tagged classes.
Proceedings of the 2005 Symposium on Dynamic Languages, 2005
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.
Proceedings of the ECOOP 2004, 2004
Regression Test Selection for Java Software.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001
Hybrid search algorithms.
Proceedings of the 1997 ACM symposium on Applied Computing, 1997