{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:52Z","timestamp":1750306792337,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:p>Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope for making parallel programming easier.<\/jats:p>","DOI":"10.1145\/2500875","type":"journal-article","created":{"date-parts":[[2014,2,26]],"date-time":"2014-02-26T13:07:08Z","timestamp":1393420028000},"page":"58-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Making parallel programs reliable with stable multithreading"],"prefix":"10.1145","volume":"57","author":[{"given":"Junfeng","family":"Yang","sequence":"first","affiliation":[{"name":"Columbia University, New York"}]},{"given":"Heming","family":"Cui","sequence":"additional","affiliation":[{"name":"Columbia University, New York"}]},{"given":"Jingyue","family":"Wu","sequence":"additional","affiliation":[{"name":"Columbia University, New York"}]},{"given":"Yang","family":"Tang","sequence":"additional","affiliation":[{"name":"Columbia University, New York"}]},{"given":"Gang","family":"Hu","sequence":"additional","affiliation":[{"name":"Columbia University, New York"}]}],"member":"320","published-online":{"date-parts":[[2014,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562764.1562783"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160742"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (Orlando, FL, Oct. 25--29)","author":"Berger E.","year":"2009","unstructured":"Berger , E. , Yang , T. , Liu , T. , Krishnan , D. , and Novark , A . Grace: Safe and efficient concurrent programming . In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (Orlando, FL, Oct. 25--29) . ACM Press , New York , 2009 , 81--96. Berger, E., Yang, T., Liu, T., Krishnan, D., and Novark, A. Grace: Safe and efficient concurrent programming. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (Orlando, FL, Oct. 25--29). ACM Press, New York, 2009, 81--96."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400214.1400227"},{"key":"e_1_2_1_9_1","volume-title":"Model Checking","author":"Clarke E.","year":"1999","unstructured":"Clarke , E. , Grumberg , O. , and Peled , D . Model Checking . MIT Press , Cambridge, MA , 1999 . Clarke, E., Grumberg, O., and Peled, D. Model Checking. MIT Press, Cambridge, MA, 1999."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation. USENIX Association","author":"Cui H.","year":"2010","unstructured":"Cui , H. , Wu , J. , Tsai , C.-C. , and Yang , J . Stable deterministic multithreading through schedule memorization . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation. USENIX Association , Berkeley, CA , 2010 . Cui, H., Wu, J., Tsai, C.-C., and Yang, J. Stable deterministic multithreading through schedule memorization. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation. USENIX Association, Berkeley, CA, 2010."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508255"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the Eighth Symposium on Operating Systems Design and Implementation","author":"Musuvathi M.","year":"2008","unstructured":"Musuvathi , M. , Qadeer , S. , Ball , T. , Basler , G. , Nainar , P.A. , and Neamtiu , I . Finding and reproducing Heisenbugs in concurrent programs . In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation ( San Diego, Dec. 8--10). USENIX Association, Berkeley, CA , 2008 , 267--280. Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., and Neamtiu, I. Finding and reproducing Heisenbugs in concurrent programs. In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (San Diego, Dec. 8--10). USENIX Association, Berkeley, CA, 2008, 267--280."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189276.1189286"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859204.1859226"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924953"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254090"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation","author":"Xiong W.","year":"2010","unstructured":"Xiong , W. , Park , S. , Zhang , J. , Zhou , Y. , and Ma , Z . Ad hoc synchronization considered harmful . In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation ( Vancouver, Canada, Oct. 4--6). USENIX Association, Berkeley, CA , 2010 . Xiong, W., Park, S., Zhang, J., Zhou, Y., and Ma, Z. Ad hoc synchronization considered harmful. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (Vancouver, Canada, Oct. 4--6). USENIX Association, Berkeley, CA, 2010."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Fourth USENIX Workshop on Hot Topics in Parallelism","author":"Yang J.","year":"2012","unstructured":"Yang , J. , Cui , A. , Stolfo , S. , and Sethumadhavan , S . Concurrency attacks . In Proceedings of the Fourth USENIX Workshop on Hot Topics in Parallelism ( Berkeley, CA, June 7--8). USENIX Association, Berkeley, CA , 2012 , 15. Yang, J., Cui, A., Stolfo, S., and Sethumadhavan, S. Concurrency attacks. In Proceedings of the Fourth USENIX Workshop on Hot Topics in Parallelism (Berkeley, CA, June 7--8). USENIX Association, Berkeley, CA, 2012, 15."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the Fifth USENIX Workshop on Hot Topics in Parallelism","author":"Yang J.","year":"2013","unstructured":"Yang , J. , Cui , H. , and Wu , J . Determinism is overrated: What really makes multithreaded programs hard to get right and what can be done about it? In Proceedings of the Fifth USENIX Workshop on Hot Topics in Parallelism ( San Jose, CA, June 24--25). USENIX Association, Berkeley, CA , 2013 . Yang, J., Cui, H., and Wu, J. Determinism is overrated: What really makes multithreaded programs hard to get right and what can be done about it? In Proceedings of the Fifth USENIX Workshop on Hot Topics in Parallelism (San Jose, CA, June 24--25). USENIX Association, Berkeley, CA, 2013."}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500875","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:27Z","timestamp":1750232067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["10.1145\/2500875"],"URL":"https:\/\/doi.org\/10.1145\/2500875","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2014,3]]},"assertion":[{"value":"2014-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}