DyC: an expressive annotation-directed dynamic compiler for C

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · ACM Transactions on Programming Languages and Systems · 1987 · 2.7K citations · Full text

Computing, Computer Engineering, Computer Science +16

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Efficient context-sensitive pointer analysis for C programs

Robert P. Wilson, Monica S. Lam · ACM SIGPLAN Notices · 1995 · 538 citations

Computing, Computer Science, Compilers +11

An efficient method of computing static single assignment form

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · 1989 · 465 citations

Computing, Computer Engineering, Computer Science +6

Efficient context-sensitive pointer analysis for C programs

Robert P. Wilson, Monica S. Lam · 1995 · 458 citations · Full text

Computing, Computer Science, Compilers +11