Hal Wasserman

Carnegie Mellon University — United States

Computer Science · Physical Sciences

8h-index1.6kcitations14works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Coding theory and cryptography(4), graph theory and CDMA systems(4), Formal Methods in Verification(3), Software Testing and Debugging Techniques(3), Algorithms and Data Compression(3)

Publications14 total

Noise-tolerant learning, the parity problem, and the statistical query model
Journal of the ACM·2003· 592 cited
Program result-checking: a theory of testing meets a test of theory
2002· 37 cited
An automated testing methodology based on self-checking software
2002· 3 cited
Decoding algebraic geometric codes
2002· 3 cited
Noise-Tolerant Learning, the Parity Problem, and the Statistical Query Model
arXiv (Cornell University)·2000Open Access
Noise-tolerant learning, the parity problem, and the statistical query model
2000· 123 cited
List decoding of algebraic-geometric codes
IEEE Transactions on Information Theory·1999· 95 citedOpen Access
Reconstructing randomly sampled multivariate polynomials from highly noisy data
Symposium on Discrete Algorithms·1998· 3 cited
Decoding algebraic geometric codes
Infoscience (Ecole Polytechnique Fédérale de Lausanne)·1998· 4 citedOpen Access
Decoding algebraic-geometric codes beyond the error-correction bound
1998· 25 citedOpen Access
Software reliability via run-time result-checking
Journal of the ACM·1997· 193 citedOpen Access
Self-correcting programs and error-correcting codes
1997
Reflections on the Pentium division bug
IEEE Transactions on Computers·1996· 60 cited
Comparing algorithm for dynamic speed-setting of a low-power CPU
1995· 453 cited

Frequent Co-authors

Manuel Blum(4), Avrim Blum(3), Adam Tauman Kalai(3), Mohammad Amin Shokrollahi(3), Kinshuk Govil(1), Edwin Sing-Long Chan(1), Amin Shokrollahi(1), T. Reinhart(1), C. Boettcher(1)