Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.

Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang

Browse the full ESOP paper archive.