University of Arizona
|Topic:||AlgoVista -- A Search Engine for Hackers|
|Date:||Thursday, May 9, 2002|
|Place:||Gould-Simpson, Room 701|
AlgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. AlgoVista is not keyword based but rather requires users to provide - in a very simple textual or visual language - input==>output samples that describe the behavior of their needed algorithm.
In this talk we will describe how AlgoVista's database of problem specifications makes use of "program checking" (a method developed as an alternative to program verification and testing), we will show that extensive type-based pre-computation can speed up query processing, and, finally, we will demonstrate the novel features of our visual query language parser.