Analysis of pointers and structures
- David R. Chase
- Mark Wegman
- et al.
- 1990
- PLDI 1990
Publications
Date
Featured collections
Popular topics
39 results for Mark Wegman
L2-nonexpansive neural networks
- Haifeng Qian
- Mark Wegman
- 2019
- ICLR 2019
Systems Neuroscience Approach to General Intelligence
- 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