AlgoVista: An algorithmic search tool in an educational setting

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. The search engine is not keyword based but rather requires users to provide (input ⇒ output) samples that describe the behavior of their needed algorithm. The system is easy to use. To search for a particular algorithm or classify a combinatorial structure a user simply draws the query in a drawing pane on a web browser. The result of the search is a list of links to web resources describing or providing implementations of the algorithm. AλgoVista has many interesting applications in an educational setting. The search engine can help research students classify obscure problems and locate algorithms that would otherwise be hard to find in textbooks. Students can also add calls in their own programs to AλgoVista's database of executable problem specifications in order to dynamically check the correctness of their programs. Finally, instructors can use AλgoVista to set novel assignments in algorithms and data structures classes. This paper briefly describes AλgoVista and reports on its use in two algorithms and theory classes, one at the undergraduate and one at the graduate level.

Original languageEnglish (US)
Title of host publicationSIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
Pages462-466
Number of pages5
Volume36
Edition1
DOIs
StatePublished - Mar 2004
Event35th SIGCSE Technical Symposium on Computer Science Education - Norfolk, VA, United States
Duration: Mar 3 2004Mar 7 2004

Other

Other35th SIGCSE Technical Symposium on Computer Science Education
CountryUnited States
CityNorfolk, VA
Period3/3/043/7/04

Fingerprint

Search Engine
engines
Search engines
students
Web Browser
Students
Web browsers
Textbooks
college students
teachers
World Wide Web
Data structures
Databases
Specifications
Research
sampling

Keywords

  • Algorithms
  • Languages
  • Verification

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Food Science

Cite this

Collberg, C. S., Kobourov, S. G., & Westbrook, D. S. (2004). AlgoVista: An algorithmic search tool in an educational setting. In SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education) (1 ed., Vol. 36, pp. 462-466) https://doi.org/10.1145/1028174.971457

AlgoVista : An algorithmic search tool in an educational setting. / Collberg, Christian S; Kobourov, Stephen G; Westbrook, Denise S.

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). Vol. 36 1. ed. 2004. p. 462-466.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Collberg, CS, Kobourov, SG & Westbrook, DS 2004, AlgoVista: An algorithmic search tool in an educational setting. in SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). 1 edn, vol. 36, pp. 462-466, 35th SIGCSE Technical Symposium on Computer Science Education, Norfolk, VA, United States, 3/3/04. https://doi.org/10.1145/1028174.971457
Collberg CS, Kobourov SG, Westbrook DS. AlgoVista: An algorithmic search tool in an educational setting. In SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). 1 ed. Vol. 36. 2004. p. 462-466 https://doi.org/10.1145/1028174.971457
Collberg, Christian S ; Kobourov, Stephen G ; Westbrook, Denise S. / AlgoVista : An algorithmic search tool in an educational setting. SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education). Vol. 36 1. ed. 2004. pp. 462-466
@inproceedings{553ae8f9f64a4dbabc128a0496d61242,
title = "AlgoVista: An algorithmic search tool in an educational setting",
abstract = "AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. The search engine is not keyword based but rather requires users to provide (input ⇒ output) samples that describe the behavior of their needed algorithm. The system is easy to use. To search for a particular algorithm or classify a combinatorial structure a user simply draws the query in a drawing pane on a web browser. The result of the search is a list of links to web resources describing or providing implementations of the algorithm. AλgoVista has many interesting applications in an educational setting. The search engine can help research students classify obscure problems and locate algorithms that would otherwise be hard to find in textbooks. Students can also add calls in their own programs to AλgoVista's database of executable problem specifications in order to dynamically check the correctness of their programs. Finally, instructors can use AλgoVista to set novel assignments in algorithms and data structures classes. This paper briefly describes AλgoVista and reports on its use in two algorithms and theory classes, one at the undergraduate and one at the graduate level.",
keywords = "Algorithms, Languages, Verification",
author = "Collberg, {Christian S} and Kobourov, {Stephen G} and Westbrook, {Denise S}",
year = "2004",
month = "3",
doi = "10.1145/1028174.971457",
language = "English (US)",
volume = "36",
pages = "462--466",
booktitle = "SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)",
edition = "1",

}

TY - GEN

T1 - AlgoVista

T2 - An algorithmic search tool in an educational setting

AU - Collberg, Christian S

AU - Kobourov, Stephen G

AU - Westbrook, Denise S

PY - 2004/3

Y1 - 2004/3

N2 - AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. The search engine is not keyword based but rather requires users to provide (input ⇒ output) samples that describe the behavior of their needed algorithm. The system is easy to use. To search for a particular algorithm or classify a combinatorial structure a user simply draws the query in a drawing pane on a web browser. The result of the search is a list of links to web resources describing or providing implementations of the algorithm. AλgoVista has many interesting applications in an educational setting. The search engine can help research students classify obscure problems and locate algorithms that would otherwise be hard to find in textbooks. Students can also add calls in their own programs to AλgoVista's database of executable problem specifications in order to dynamically check the correctness of their programs. Finally, instructors can use AλgoVista to set novel assignments in algorithms and data structures classes. This paper briefly describes AλgoVista and reports on its use in two algorithms and theory classes, one at the undergraduate and one at the graduate level.

AB - AλgoVista is a web-based search engine that assists programmers to find algorithms and implementations that solve specific problems. The search engine is not keyword based but rather requires users to provide (input ⇒ output) samples that describe the behavior of their needed algorithm. The system is easy to use. To search for a particular algorithm or classify a combinatorial structure a user simply draws the query in a drawing pane on a web browser. The result of the search is a list of links to web resources describing or providing implementations of the algorithm. AλgoVista has many interesting applications in an educational setting. The search engine can help research students classify obscure problems and locate algorithms that would otherwise be hard to find in textbooks. Students can also add calls in their own programs to AλgoVista's database of executable problem specifications in order to dynamically check the correctness of their programs. Finally, instructors can use AλgoVista to set novel assignments in algorithms and data structures classes. This paper briefly describes AλgoVista and reports on its use in two algorithms and theory classes, one at the undergraduate and one at the graduate level.

KW - Algorithms

KW - Languages

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=33646853508&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33646853508&partnerID=8YFLogxK

U2 - 10.1145/1028174.971457

DO - 10.1145/1028174.971457

M3 - Conference contribution

AN - SCOPUS:33646853508

VL - 36

SP - 462

EP - 466

BT - SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

ER -