Colloquium Speaker

Speaker: Christian Collberg
University of Arizona
Topic:AlgoVista -- A Search Engine for Hackers
Date:Thursday, May 9, 2002
Time:11:00 AM
Place:Gould-Simpson, Room 701


This is an informal presentation. Refreshments will NOT be served


ABSTRACT


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.