Giuseppe Valetto, Mary Helander, et al.
MSR 2007
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
L2-nonexpansive neural networks
Haifeng Qian, Mark Wegman
ICLR 2019
Mark Wegman, James Kozloski
AAAI 2023