Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang, and Hong Mei, “Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks,” Proceedings of 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), January 12-18 2015, pp. 83-95.

@inproceedings{HaoTangPOPL15,

  author    = {Hao Tang and Xiaoyin Wang and Lingming Zhang and Bing Xie and Lu Zhang and Hong Mei},

  title     = {Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks},

  booktitle = {Proc. of POPL},

year      = {2015},

pages     = {83-95}

}