Calling-to-reference context translation via constraint-guided CFL-reachability.

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Browse the full PLDI paper archive.