Problem Classification using Program Checking
Christian Collberg
Department of Computer Science,
University of Arizona, Tucson, AZ.
collberg@cs.arizona.edu
Todd A. Proebsting
Microsoft Research,
Redmond, WA.
Abstract
We describe AlgoVista, a web-based search engine that
assists computer scientists
find algorithms and implementations that solve
specific problems.
AlgoVista also allows algorithm designers to
advertise their results in a forum accessible to programmers
and theoreticians alike.
AlgoVista is not keyword based.
Rather, users provide
input==>output
samples that describe
the behavior of their needed algorithm.
This query-by-example requires no knowledge of
specialized terminology - the user only needs an ability to formalize her
problem.
AlgoVista's search mechanism is based on a novel application of
program checking, a technique developed as an alternative
to program verification and testing.
AlgoVista operates at http://algovista.com.
Back to Collberg's Research Page
Back to Collberg's Home Page