Debug information validation for optimized code.

Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano

Browse the full PLDI paper archive.