Christian Collberg
Department of Computer Science,
University of Arizona, Tucson, AZ.
collberg@cs.arizona.edu

Todd A. Proebsting
Microsoft Research,
Redmond, WA.

AlgoVista is a web-based search engine designed to allow applied computer scientists to classify problems and find algorithms and implementations that solve these problems. Unlike other search engines, AlgoVista is not keyword based. Rather, users provide a set of input=>output samples that describe the behavior of the problem they wish to classify. This type of query-by-example requires no knowledge of specialized terminology, only an ability to formalize the problem.

The search mechanism of AlgoVista is based on a novel application of program checking, a technique developed as an alternative to program verification and testing.

AlgoVista can be searched at AlgoVista.cs.arizona.edu.

Download

If you want to run your own AlgoVista server you can download the code below. You'll need Java 1.2 and a Java Servlet engine.

AlgoVista.zip The full package, including source, class files, and various supporting software.
This software is copyright 2000, Regents of the University of Arizona, and Microsoft research. You are given the rights to freely copy and modify this work, as long as you attribute its origin.
If you manage to make some money from this, send us some.

Publications
Christian S. Co\llberg , Todd A. Proebsting \	AlgoVista - A Search Engine for Computer Scientists		January, 2000
Christian S. Co\llberg , Todd A. Proebsting \	University of Arizona Technical Report 2000-01, Microsoft Research Technical Report MSR-TR-2000-06.	Department of Computer Science, The University of Arizona, Microsoft Research	17 pages