Program Result-Checking: A Theory of Testing Meets a Test of Theory - Manuel Blum 001; Hal Wasserman (FOCS, 1994)

Comparing Algorithm for Dynamic Speed-Setting of a Low-Power CPU. - Kinshuk Govil; Edwin Chan; Hal Wasserman (MobiCom, 1995)

Reflections on the Pentium Bug. - Manuel Blum 001; Hal Wasserman (IEEE Trans. Computers, 1996)

Software reliability via run-time result-checking. - Hal Wasserman; Manuel Blum 001 (J. ACM, 1997)

Reconstructing Randomly Sampled Multivariate Polynomials from Highly Noisy Data. - Hal Wasserman (SODA, 1998)

Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound. - Mohammad Amin Shokrollahi; Hal Wasserman (STOC, 1998)

List Decoding of Algebraic-Geometric Codes. - Mohammad Amin Shokrollahi; Hal Wasserman (IEEE Trans. Inf. Theory, 1999)

Noise-tolerant learning, the parity problem, and the statistical query model. - Avrim Blum; Adam Kalai; Hal Wasserman (J. ACM, 2003)