Evaluating the effectiveness of pointer alias analyses

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Constant propagation with conditional branches

Mark N. Wegman, F. Kenneth Zadeck · ACM Transactions on Programming Languages and Systems · 1991 · 602 citations · Full text

Computing, Computer Science, Compilers +6

Context-sensitive interprocedural points-to analysis in the presence of function pointers

Maryam Emami, Rakesh Ghiya, Laurie Hendren · 1994 · 573 citations

Computing, Computer Engineering, Computer Science +14

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

Efficient context-sensitive pointer analysis for C programs

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

Computing, Computer Science, Compilers +11