Selected Publications

Reflections on the Pentium Division Bug: (with H. Wasserman).
Click for PostScript.
IEEE Transactions on Computers, vol. 45, no. 4, April 1996, pp. 385-393.
Preliminary version: Proc. 8th Int'l Software Quality Week, 1995.
Software Reliability via Run-Time Result-Checking: (with H. Wasserman).
Click for PostScript. (Sept. 1997 draft.)
To appear, Journal of the ACM.
Preliminary version: "Program Result-Checking: A Theory of Testing Meets a Test of Theory," Proc. 35th IEEE FOCS, 1994, pp. 382-392.
Self-Testing/Correcting with Applications to Numerical Problems: (with M. Luby and R. Rubinfeld), STOC, 1990, p. 10.
On the Power of the Compass (or, Why Mazes are Easier to Search Than Graphs): (with D. Kozen), Proc. IEEE FOCS Conf., 1978, pp. 132-142.
Toward a Mathematical Theory of Inductive Inference: (with L. Blum), Information and Control, Vol. 28, No. 2, 1975, pp. 125-155.
Linear Time Bounds for Median Computations: (with Floyd, Pratt, Rivest, and Tarjan), Proc. 4th Annual ACM Symposium on Theory of Computing, 1972, pp. 119-124.
A Machine-Independent Theory of the Complexity of Recursive Functions: J. ACM, XIV, No. 2, 1967, pp. 322-336.