@inproceedings {wu:pldi12,
        author = {Jingyue Wu and Yang Tang and Gang Hu and Heming Cui and Junfeng Yang},
        title = {Sound and Precise Analysis of Parallel Programs through Schedule Specialization},
        year = {2012},
        month = {June},
        booktitle = {Proceedings of the ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation (PLDI '12)},
        pages  = {205--216},
}