BibTeX
@inproceedings{ESOP17,
author = {Hao Tang and Di Wang and Yingfei Xiong and Lingming Zhang and Xiaoyin Wang and Lu Zhang},
title = {Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization},
year = {2017},
month = {4},
booktitle = {ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden},
site_corr = {3},
site_tool = {papers/ESOP17-Artifact.tar}
}