@article {IOPORT.05748247,
    author       = {Burnim, Jacob and Sen, Koushik},
    title        = {Asserting and checking determinism for multithreaded programs.},
    year         = {2010},
    journal      = {Communications of the ACM},
    volume       = {53},
    number       = {6},
    issn         = {0001-0782},
    pages        = {97-105},
    publisher    = {Association for Computing Machinery, Inc. (ACM), New York, NY},
    doi          = {10.1145/1743546.1743572},
    identifier   = {05748247},
}