Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
Sound and precise analysis of parallel programs through schedule specialization
PLDI, 2012.
@inproceedings{PLDI-2012-WuTHCY, author = "Jingyue Wu and Yang Tang and Gang Hu and Heming Cui and Junfeng Yang", booktitle = "{Proceedings of the 33rd Conference on Programming Language Design and Implementation}", doi = "10.1145/2254064.2254090", editor = "Jan Vitek and Haibo Lin and Frank Tip", isbn = "978-1-4503-1205-9", pages = "205--216", publisher = "{ACM}", title = "{Sound and precise analysis of parallel programs through schedule specialization}", year = 2012, }