Qirun Zhang, Zhendong Su
Context-sensitive data-dependence analysis via linear conjunctive language reachability
POPL, 2017.
@inproceedings{POPL-2017-ZhangS,
author = "Qirun Zhang and Zhendong Su",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "344--358",
publisher = "{ACM}",
title = "{Context-sensitive data-dependence analysis via linear conjunctive language reachability}",
year = 2017,
}