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]
Abstract is missing.