Santosh Nagarakatte Jianzhou Zhao Milo M. K. Martin Steve Zdancewic SoftBound: highly compatible and complete spatial memory safety for c. 245-258 2009 PLDI http://doi.acm.org/10.1145/1542476.1542504 conf/pldi/2009 db/conf/pldi/pldi2009.html#NagarakatteZMZ09