Annotation-directed run-time specialization in 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

Mathematical Programming, Control Dependences, Engineering +23

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Mathematical Programming, Engineering, Verification +22

Efficient context-sensitive pointer analysis for C programs

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

Engineering, Compiler Technology, Software Analysis +20

An efficient method of computing static single assignment form

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

Mathematical Programming, Engineering, Efficient Method +18

Efficient context-sensitive pointer analysis for C programs

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

Engineering, Compiler Technology, Hardware Systems +20