Problem identification using program checking

Authors:
Christian S. Collberg;Todd A. Proebsting
Affiliations:
Department of Computer Science, University of Arizona, Tucson, AZ;Microsoft Research, One Microsoft Way, Redmond, WA
Venue:
Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)
Year:
2004

Citing 10
Cited 0

Batch checking with applications to linear functions

Information Processing Letters
Designing programs that check their work

Journal of the ACM (JACM)
Software reliability via run-time result-checking

Journal of the ACM (JACM)
Software watermarking: models and dynamic embeddings

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Register allocation in structured programs

Journal of Algorithms - Special issue on SODA '95 papers
Spot-checkers

Journal of Computer and System Sciences - 30th annual ACM symposium on theory of computing
Inductive Logic Programming: From Machine Learning to Software Engineering

Inductive Logic Programming: From Machine Learning to Software Engineering
The ICON Programming Language, 2nd Ed.

The ICON Programming Language, 2nd Ed.
Program Result Checking: A New Approach to Making Programs More Reliable

ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Program Checking

Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 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. 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 http://www.algovista.com.