Conditional correlation analysis for safe region-based memory management.

Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang

Browse the full PLDI paper archive.