Accelerating Program Analyses in Datalog by Merging Library Facts.

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

Browse the full SAS paper archive.