This article reports that last month at the NASA-Ames Research Center, a group of top scientists and business leaders gathered to plan a new university devoted to the idea that computers will soon become smarter than people. The details of Singularity University, as the new institution will be called, are still being worked out--and so far the…

This report examines the features and performance of the BUG-FINDing component of MENO-II, a computer-based tutor for beginning PASCAL programming students. A discussion of the use of artificial intelligence techniques is followed by a summary of the system status and objectives. The two main components of MENO-II are described, beginning with the…

Argues that a computer-based programming tutor for novice programmers needs to take into account not only the types and frequency of bugs found in the programs, but the intentions and knowledge state of the programmer. A first version of such a program was developed on the basis of the bug types found in a number of pencil-and-paper studies with…

This report describes PROUST, a computer-based system for online analyses and understanding of PASCAL programs written by novice programmers, which takes as input a program and a non-algorithmic description of the program requirements and finds the most likely mapping between the requirements and the code. Both the theory and processing techniques…