Mark Wegman, James Kozloski
AAAI 2023
Paper
Analysis of Pointers and Structures
Related
Conference paper
Exact and approximate membership testers
Larry Carter, Robert Floyd, et al.
STOC 1978
Giuseppe Valetto, Mary Helander, et al.
MSR 2007
Bard Bloom, Paul Keyser, et al.
Comput. Lang. Syst. Struct.