Cloning-based Context-sensitive Pointer Alias Analysis Using Binary Decision Diagrams (2004)

by J Whaley, M S Lam
Venue:In Conference on Programming Language Design and Implementation (PLDI