Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.

Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su

Browse the full PLDI paper archive.