Publications

This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Featured collections

Popular topics

Year

Efficient method of computing static single assignment form
- - Ron Cytron
  - Jeanne Ferrante
  - et al.
- 1989
- POPL 1989
Detecting equality of variables in programs
- - Bowen Alpern
  - Mark N. Wegman
  - et al.
- 1988
- POPL 1988
Global value numbers and redundant computations
- - Barry K. Rosen
  - Mark N. Wegman
  - et al.
- 1988
- POPL 1988
COMPLEXITY OF BACKTRACK SEARCHES.
- - Larry Carter
  - Larry Stockmeyer
  - et al.
- 1985
- STOC 1985
A program development tool
- - C.N. Alberga
  - A.L. Brown
  - et al.
- 1981
- POPL 1981
Exact and approximate membership testers
- - Larry Carter
  - Robert Floyd
  - et al.
- 1978
- STOC 1978
Universal classes of hash functions
- - J. Lawrence Carter
  - Mark N. Wegman
- 1977
- STOC 1977
Linear unification
- - M.S. Paterson
  - Mark N. Wegman
- 1976
- STOC 1976
Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes
- - Jonathan Bootle
  - Sebastian Faller
  - et al.
- 2023
- Asiacrypt 2023
Exploiting Algebraic Structure in Probing Security
- - Maxime Plançon
- 2023
- Asiacrypt 2023