Xi Wang Zhilei Xu Xuezheng Liu Zhenyu Guo Xiaoge Wang Zheng Zhang Conditional correlation analysis for safe region-based memory management. 45-55 2008 PLDI http://doi.acm.org/10.1145/1375581.1375588 conf/pldi/2008 db/conf/pldi/pldi2008.html#WangXLGWZ08