Problem identification using program checking

Research output: Contribution to journalArticlepeer-review


We describe A λgoVista, a web-based search engine that assists computer scientists find algorithms and implementations that solve specific problems. AλgoVista also allows algorithm designers to advertise their results in a forum accessible to programmers and theoreticians alike. AλgoVista is not keyword based. Rather, users provide inputs⇒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. AλgoVista's search mechanism is based on a novel application of program checking, a technique developed as an alternative to program verification and testing. AλgoVista operates at

Original languageEnglish (US)
Pages (from-to)270-280
Number of pages11
JournalDiscrete Applied Mathematics
Issue number3
StatePublished - Dec 15 2004


  • Algorithm
  • Program checking
  • Search engine
  • Software repository
  • Type discrimination

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics
  • Applied Mathematics


Dive into the research topics of 'Problem identification using program checking'. Together they form a unique fingerprint.

Cite this