@article{smt:cacm,
    author = "Yang, Junfeng and Cui, Heming and Wu, Jingyue and Tang, Yang and Hu, Gang",
    abstract = "Our accelerating computational demand and the rise of multicore hardware have made parallel programs, especially shared-memory multithreaded programs, increasingly pervasive and critical. Yet, these programs remain extremely difficult to write, test, analyze, debug, and verify. Conventional wisdom has attributed these difficulties to nondeterminism (i.e., repeated executions of the same program on the same input may show different behaviors), and researchers have recently dedicated much effort to bringing determinism into multithreading. In this article, we argue that determinism is not as useful as commonly perceived: it is neither sufficient nor necessary for reliability. We present our view on why multithreaded programs are difficult to get right, describe a promising approach we call stable multithreading to dramatically improve reliability, and summarize our last four years’ research on building and applying stable multithreading systems.",
    title = "Making Parallel Programs Reliable with Stable Multithreading",
    journal = "Communications of the ACM",
    shortjournal = "CACM",
    volume = "57",
    number = "3",
    pages = "58--69",
    doi = "10.1145/2500875",
    pdfurl = "https://dl.acm.org/doi/pdf/10.1145/2500875",
    year = "2014",
    month = "March"
}