Accelerating Program Analyses in Datalog by Merging Library Facts

Yifan Chen, Chenyang Yang, Xin Zhang^*, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang

SAS'21: International Static Analysis Symposium · October 2021

Read paper View BibTeX

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}
}