@inproceedings{Gilray:2016:PCA:2837614.2837631,
    Address = {New York, NY, USA},
    Author = {Gilray, Thomas and Lyde, Steven and Adams, Michael D. and Might, Matthew and Van Horn, David},
    BookTitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    File = {Pushdown Control-flow Analysis for Free - Gilray, Lyde, Adams, Might, Van Horn (1) (0) - a - a - f.pdf},
    ISBN = {978-1-4503-3549-2},
    Keywords = {Abstract interpretation, Control-flow analysis, Pushdown analysis, Static analysis, Store-allocated continuations},
    Location = {St. Petersburg, FL, USA},
    Pages = {691--704},
    Publisher = {ACM},
    Series = {POPL 2016},
    Title = {Pushdown Control-flow Analysis for Free},
    URL = {http://doi.acm.org/10.1145/2837614.2837631},
    Year = {2016},
    acmid = {2837631},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837631},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837631},
    bdsk-url-3 = {http://arxiv.org/abs/1507.03137},
    date-added = {2016-01-20 09:30:07 +0000},
    date-modified = {2016-01-20 09:30:07 +0000},
    numpages = {14},
    doi = {10.1145/2837614.2837631}
}

@inproceedings{Gilray:2016:PCA:2837614.2837631, Address = {New York, NY, USA}, Author = {Gilray, Thomas and Lyde, Steven and Adams, Michael D. and Might, Matthew and Van Horn, David}, BookTitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, File = {Pushdown Control-flow Analysis for Free - Gilray, Lyde, Adams, Might, Van Horn (1) (0) - a - a - f.pdf}, ISBN = {978-1-4503-3549-2}, Keywords = {Abstract interpretation, Control-flow analysis, Pushdown analysis, Static analysis, Store-allocated continuations}, Location = {St. Petersburg, FL, USA}, Pages = {691--704}, Publisher = {ACM}, Series = {POPL 2016}, Title = {Pushdown Control-flow Analysis for Free}, URL = {http://doi.acm.org/10.1145/2837614.2837631}, Year = {2016}, acmid = {2837631}, bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837631}, bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837631}, bdsk-url-3 = {http://arxiv.org/abs/1507.03137}, date-added = {2016-01-20 09:30:07 +0000}, date-modified = {2016-01-20 09:30:07 +0000}, numpages = {14}, doi = {10.1145/2837614.2837631} }