Mark N. Wegman, F. Kenneth. Zadeck
ACM TOPLAS
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Conference paper
Exact and approximate membership testers
Larry Carter, Robert Floyd, et al.
STOC 1978
Conference paper
Does better throughput require worse latency?
David Ungar, Doug Kimelman, et al.
SPLASH 2012
Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990