Path-sensitive sparse analysis without path conditions.

Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang

Browse the full PLDI paper archive.