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