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,
}











