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

Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su. Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. In Hans-Juergen Boehm, Cormac Flanagan, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013. pages 435-446, ACM, 2013. [doi]

Authors

Qirun Zhang

This author has not been identified. Look up 'Qirun Zhang' in Google

Michael R. Lyu

This author has not been identified. Look up 'Michael R. Lyu' in Google

Hao Yuan

This author has not been identified. Look up 'Hao Yuan' in Google

Zhendong Su

This author has not been identified. It may be one of the following persons: Look up 'Zhendong Su' in Google