Santosh Nagarakatte Jianzhou Zhao Milo M. K. Martin Steve Zdancewic 245-258 2009 PLDI https://doi.org/10.1145/1542476.1542504 https://doi.org/10.1145/1543135.1542504 https://www.wikidata.org/entity/Q131127788 conf/pldi/2009 db/conf/pldi/pldi2009.html#NagarakatteZMZ09