Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

39 results for Mark Wegman

Analysis of pointers and structures
- - David R. Chase
  - Mark Wegman
  - et al.
- 1990
- PLDI 1990
L₂-nonexpansive neural networks
- - Haifeng Qian
  - Mark Wegman
- 2019
- ICLR 2019
Systems Neuroscience Approach to General Intelligence
- - Mark Wegman
  - James Kozloski
- 2023
- AAAI 2023
A Fast and Usually Linear Algorithm for Global Flow Analysis
- - Susan L. Graham
  - Mark Wegman
- 1976
- Journal of the ACM
Computer analysis of nucleic acid regulatory sequences
- - Laurence Jay Korn
  - Cary Queen
  - et al.
- 1977
- PNAS
CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.
- - Mark N. Wegman
  - F. Kenneth Zadeck
- 1985
- POPL 1985
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