Publications

39 results for Mark Wegman

Execution patterns in object-oriented visualization
- - Wim de Pauw
  - David Lorenz
  - et al.
- 1998
- COOTS 1998
CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.
- - Mark N. Wegman
  - F. Kenneth Zadeck
- 1985
- POPL 1985
Efficiently Computing Static Single Assignment form and the Control Dependence Graph
- - Ron Cytron
  - Jeanne Ferrante
  - et al.
- 1991
- ACM TOPLAS
Constant Propagation with Conditional Branches
- - Mark N. Wegman
  - F. Kenneth. Zadeck
- 1991
- ACM TOPLAS
Analysis of pointers and structures
- - David R. Chase
  - Mark Wegman
  - et al.
- 1990
- PLDI 1990
Analysis of Pointers and Structures
- - David R. Chase
  - Mark Wegman
  - et al.
- 1990
- ACM SIGPLAN Notices
Efficient method of computing static single assignment form
- - Ron Cytron
  - Jeanne Ferrante
  - et al.
- 1989
- POPL 1989
Variations on a theme by Ziv and Lempel.
- - Victor S. Miller
  - Mark N. Wegman
- 1988
- IEEE ICC 1988
Learning probabilistic prediction functions
- - Alfredo DeSantis
  - George Markowsky
  - et al.
- 1988
- FOCS 1988
Detecting equality of variables in programs
- - Bowen Alpern
  - Mark N. Wegman
  - et al.
- 1988
- POPL 1988