BibTeX
@inproceedings{SAS21,
author = {Yifan Chen and Chenyang Yang and Xin Zhang and Yingfei Xiong and Hao Tang and Xiaoyin Wang and Lu Zhang},
title = {Accelerating Program Analyses in Datalog by Merging Library Facts},
year = {2021},
month = {10},
booktitle = {SAS'21: International Static Analysis Symposium},
site_hide_home = {true},
site_corr = {3}
}