Spiral: an empirical search system for program generation and optimization David Padua Department of Computer Science University of Illinois at Urbana-