Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang, Hong Mei
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
POPL, 2015.
@inproceedings{POPL-2015-TangWZXZM, author = "Hao Tang and Xiaoyin Wang and Lingming Zhang and Bing Xie and Lu Zhang and Hong Mei", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676997", isbn = "978-1-4503-3300-9", pages = "83--95", publisher = "{ACM}", title = "{Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks}", year = 2015, }