@inproceedings{wu:pldi12,
    author = "Wu, Jingyue and Tang, Yang and Hu, Gang and Cui, Heming and Yang, Junfeng",
    title = "Sound and Precise Analysis of Parallel Programs through Schedule Specialization",
    booktitle = "Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
    month = "June",
    year = "2012",
    pages = "205--216",
    doi = "10.1145/2254064.2254090",
    pdfurl = "https://dl.acm.org/doi/pdf/10.1145/2254064.2254090"
}