Conference paper
L2-nonexpansive neural networks
Haifeng Qian, Mark Wegman
ICLR 2019
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013
Susan L. Graham, Mark Wegman
Journal of the ACM
Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990