Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023. Accelerating Program Analyses in Datalog by Merging Library Facts. In Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi, editors, Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Volume 12913 of Lecture Notes in Computer Science, pages 77-101, Springer, 2021. [doi]
@inproceedings{ChenYZXTWZ21,
title = {Accelerating Program Analyses in Datalog by Merging Library Facts},
author = {Yifan Chen and Chenyang Yang and Xin Zhang and Yingfei Xiong 0001 and Hao Tang and Xiaoyin Wang and Lu Zhang 0023},
year = {2021},
doi = {10.1007/978-3-030-88806-0_4},
url = {https://doi.org/10.1007/978-3-030-88806-0_4},
researchr = {https://researchr.org/publication/ChenYZXTWZ21},
cites = {0},
citedby = {0},
pages = {77-101},
booktitle = {Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings},
editor = {Cezara Dragoi and Suvam Mukherjee and Kedar S. Namjoshi},
volume = {12913},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-88806-0},
}