@inproceedings {smt:hotpar13,
        author = {Junfeng Yang and Heming Cui and Jingyue Wu},
        title = {Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done about It?},
        year = {2013},
        month = {June},
        booktitle = {the Fifth USENIX Workshop on Hot Topics in Parallelism (HOTPAR '13)},
}