A compiler framework for speculative analysis and optimizations

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

Computing, Computer Science, Computer Systems +12

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Pointer analysis

Michael Hind · 2001 · 583 citations

Computing, Computer Science, Computer Systems +12

Efficient context-sensitive pointer analysis for C programs

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

Computing, Computer Science, Compilers +11

Global optimization by suppression of partial redundancies

E. H. Morel, C. Renvoise · Communications of the ACM · 1979 · 377 citations · Full text

Computing, Computer Science, Algorithms +16