SMTP path analysis
- Barry Leiba
- Joel Ossher
- et al.
- 2005
- CEAS 2005
Conference paper
Publications
40 results for Mark Wegman
Execution patterns in object-oriented visualization
- Wim de Pauw
- David Lorenz
- et al.
- 1998
- COOTS 1998
Conference paperCONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.
- Mark N. Wegman
- F. Kenneth Zadeck
- 1985
- POPL 1985
Conference paperEfficiently Computing Static Single Assignment form and the Control Dependence Graph
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1991
- ACM TOPLAS
PaperConstant Propagation with Conditional Branches
- Mark N. Wegman
- F. Kenneth. Zadeck
- 1991
- ACM TOPLAS
PaperAnalysis of pointers and structures
- David R. Chase
- Mark Wegman
- et al.
- 1990
- PLDI 1990
Conference paperAnalysis of Pointers and Structures
- David R. Chase
- Mark Wegman
- et al.
- 1990
- ACM SIGPLAN Notices
PaperEfficient method of computing static single assignment form
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1989
- POPL 1989
Conference paperVariations on a theme by Ziv and Lempel.
- Victor S. Miller
- Mark N. Wegman
- 1988
- IEEE ICC 1988
Conference paperLearning probabilistic prediction functions
- Alfredo DeSantis
- George Markowsky
- et al.
- 1988
- FOCS 1988
Conference paper