@article {smt:cacm,
        author = {Junfeng Yang and Heming Cui and Jingyue Wu and Yang Tang and Gang Hu},
        title = {Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading},
        year = {2014},
        journal = {Communications of the ACM},
}