Wei Huang
Department of Computer Science
|
Ana Milanova, Wei Huang and Yao Dong, "CFL-Reachability and Context-sensitive Integrity Types", Proceedings of ACM Conference on Principles and Practice of Programming in Java (PPPJ 2014), September 2014. Copyright ACM. [pdf]