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.

REFERENCES

• 1: Lewis Barnett , Joseph F. Kent , Justin Casp , David Green, Design and implementation of an interactive tutorial framework, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.87-91, February 26-March 01, 1998, Atlanta, Georgia, United States
• 2: Manuel Blum , Sampath Kannan, Designing programs that check their work, Journal of the ACM (JACM), v.42 n.1, p.269-291, Jan. 1995 [doi>10.1145/200836.200880]
• 3: Christopher M. Boroni , Frances W. Goosey , Michael T. Grinder , Jessica L. Lambert , Rockford J. Ross, Tying it all together: creating self-contained, animated, interactive, Web-based resources for computer science education, The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, p.7-11, March 24-28, 1999, New Orleans, Louisiana, United States
• 4: Rockford J. Ross , Christopher M. Boroni , Frances W. Goosey , Michael Grinder , Paul Wissenbach, WebLab! A universal and interactive teaching, learning, and laboratory environment for the World Wide Web, Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, p.199-203, February 27-March 01, 1997, San Jose, California, United States
• 5: Christopher M. Boroni , Frances W. Goosey , Michael T. Grinder , Rockford J. Ross, A paradigm shift! The Internet, the Web, browsers, Java and the future of computer science education, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.145-152, February 26-March 01, 1998, Atlanta, Georgia, United States
• 6: Christian Collberg , Stephen G. Kobourov , Jessica Miller , Suzanne Westbrook, AλgoVista: a tool to enhance algorithm design and understanding, Proceedings of the 7th annual conference on Innovation and technology in computer science education, June 24-28, 2002, Aarhus, Denmark
• 7: C. S. Collberg and T. A. Proebsting. Problem classification using program checking. In 2nd Int'l Conference on FUN with Algorithms, pages 61--83, 2001. http://www.cs.arizona.edu/~collberg/FUN.ps.
• 8: Willard C. Pierson , Susan H. Rodger, Web-based animation of data structures using JAWAA, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.267-271, February 26-March 01, 1998, Atlanta, Georgia, United States
• 9: J. Stasko, J. Domingue, M. H. Brown, and B. A. Price, editors. Software Visualization: Programming as a Multimedia Experience. MIT Press, 1998.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Software libraries

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Assertion checkers

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Graphical user interfaces (GUI)

General Terms:
Algorithms, Languages, Verification