Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
Hybrid top-down and bottom-up interprocedural analysis
PLDI, 2014.
@inproceedings{PLDI-2014-ZhangMNY, author = "Xin Zhang and Ravi Mangal and Mayur Naik and Hongseok Yang", booktitle = "{Proceedings of the 35th Conference on Programming Language Design and Implementation}", doi = "10.1145/2594291.2594328", editor = "Michael F. P. O'Boyle and Keshav Pingali", isbn = "978-1-4503-2784-8", pages = "28", publisher = "{ACM}", title = "{Hybrid top-down and bottom-up interprocedural analysis}", year = 2014, }