Side-effect analysis with fast escape filter.

Binxian Tao, Ju Qian, Xiaoyu Zhou

Browse the full PLDI paper archive.