{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:04Z","timestamp":1750220704679,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CAREER-1253703 CCF-1421612 XPS-1629126"],"award-info":[{"award-number":["CAREER-1253703 CCF-1421612 XPS-1629126"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378485","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"317-333","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Peacenik"],"prefix":"10.1145","author":[{"given":"Rui","family":"Zhang","sequence":"first","affiliation":[{"name":"Ohio State University, Columbus, OH, USA"}]},{"given":"Swarnendu","family":"Biswas","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Kanpur, Kanpur, India"}]},{"given":"Vignesh","family":"Balaji","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]},{"given":"Michael D.","family":"Bond","sequence":"additional","affiliation":[{"name":"Ohio State University, Columbus, OH, USA"}]},{"given":"Brandon","family":"Lucia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"MySQL 2017. https:\/\/www.mysql.com\/products\/community\/.  MySQL 2017. https:\/\/www.mysql.com\/products\/community\/."},{"key":"e_1_3_2_1_2_1","unstructured":"The Apache HTTP Server Project 2017. https:\/\/httpd.apache.org\/.  The Apache HTTP Server Project 2017. https:\/\/httpd.apache.org\/."},{"key":"e_1_3_2_1_3_1","first-page":"90","volume":"53","author":"Adve Sarita V.","year":"2010","unstructured":"Sarita V. Adve and Hans- J. Boehm . Memory Models : A Case for Rethinking Parallel Languages and Hardware. CACM , 53 : 90 -- 101 , 2010 . Sarita V. Adve and Hans-J. Boehm. Memory Models: A Case for Rethinking Parallel Languages and Hardware. CACM, 53:90--101, 2010.","journal-title":"A Case for Rethinking Parallel Languages and Hardware. CACM"},{"key":"e_1_3_2_1_4_1","first-page":"2","volume-title":"Hill. Weak Ordering--A New Definition. In ISCA","author":"Sarita","year":"1990","unstructured":"Sarita V. Adve and Mark D . Hill. Weak Ordering--A New Definition. In ISCA , pages 2 -- 14 , 1990 . Sarita V. Adve and Mark D. Hill. Weak Ordering--A New Definition. In ISCA, pages 2--14, 1990."},{"key":"e_1_3_2_1_5_1","first-page":"133","volume-title":"MICRO","author":"Ahn Wonsun","year":"2009","unstructured":"Wonsun Ahn , Shanxiang Qi , Marios Nicolaides , Josep Torrellas , Jae-Woo Lee , Xing Fang , and David Wong . BulkCompiler : High-Performance Sequential Consistency through Cooperative Compiler and Hardware Support . In MICRO , pages 133 -- 144 , 2009 . Wonsun Ahn, Shanxiang Qi, Marios Nicolaides, Josep Torrellas, Jae-Woo Lee, Xing Fang, and David Wong. BulkCompiler: High-Performance Sequential Consistency through Cooperative Compiler and Hardware Support. In MICRO, pages 133--144, 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.41"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"e_1_3_2_1_8_1","first-page":"11","volume-title":"Lightweight Data Race Detection for Production Runs. In CC","author":"Biswas Swarnendu","year":"2017","unstructured":"Swarnendu Biswas , Man Cao , Minjia Zhang , Michael D. Bond , and Benjamin P . Wood . Lightweight Data Race Detection for Production Runs. In CC , pages 11 -- 21 , 2017 . Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood. Lightweight Data Race Detection for Production Runs. In CC, pages 11--21, 2017."},{"key":"e_1_3_2_1_9_1","first-page":"241","volume-title":"Software-Only Region Conflict Exceptions. In OOPSLA","author":"Biswas Swarnendu","year":"2015","unstructured":"Swarnendu Biswas , Minjia Zhang , Michael D. Bond , and Brandon Lucia . Valor : Efficient , Software-Only Region Conflict Exceptions. In OOPSLA , pages 241 -- 259 , 2015 . Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia. Valor: Efficient, Software-Only Region Conflict Exceptions. In OOPSLA, pages 241--259, 2015."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2019.00116"},{"key":"e_1_3_2_1_11_1","first-page":"24","volume-title":"Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. In ISCA","author":"Blundell Colin","year":"2007","unstructured":"Colin Blundell , Joe Devietti , E. Christopher Lewis , and Milo M. K . Martin . Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. In ISCA , pages 24 -- 34 , 2007 . Colin Blundell, Joe Devietti, E. Christopher Lewis, and Milo M. K. Martin. Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. In ISCA, pages 24--34, 2007."},{"key":"e_1_3_2_1_12_1","first-page":"127","volume-title":"TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory. In ISCA","author":"Bobba Jayaram","year":"2008","unstructured":"Jayaram Bobba , Neelam Goyal , Mark D. Hill , Michael M. Swift , and David A . Wood . TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory. In ISCA , pages 127 -- 138 , 2008 . Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, and David A. Wood. TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory. In ISCA, pages 127--138, 2008."},{"key":"e_1_3_2_1_13_1","volume-title":"\u201cbenign","author":"Boehm J.","year":"2011","unstructured":"Hans- J. Boehm . How to miscompile programs with \u201cbenign \u201d data races. In HotPar , 2011 . Hans-J. Boehm. How to miscompile programs with \u201cbenign\u201d data races. In HotPar, 2011."},{"key":"e_1_3_2_1_14_1","unstructured":"Hans-J. Boehm and Sarita V. Adve. Foundations of the C  Hans-J. Boehm and Sarita V. Adve. Foundations of the C"},{"key":"e_1_3_2_1_15_1","first-page":"68","volume-title":"PLDI","author":"Model Concurrency Memory","year":"2008","unstructured":"Concurrency Memory Model . In PLDI , pages 68 -- 78 , 2008 . Concurrency Memory Model. In PLDI, pages 68--78, 2008."},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"Outlawing Ghosts: Avoiding Out-of-Thin-Air Results. In MSPC","author":"J.","year":"2014","unstructured":"Hans- J. Boehm and Brian Demsky . Outlawing Ghosts: Avoiding Out-of-Thin-Air Results. In MSPC , pages 7: 1 -- 7 :6, 2014 . Hans-J. Boehm and Brian Demsky. Outlawing Ghosts: Avoiding Out-of-Thin-Air Results. In MSPC, pages 7:1--7:6, 2014."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250697"},{"key":"e_1_3_2_1_18_1","first-page":"837","volume-title":"USENIX","author":"Chen Yuxi","year":"2018","unstructured":"Yuxi Chen , Shu Wang , Shan Lu , and Karthikeyan Sankaralingam . Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs . In USENIX , pages 837 -- 850 , 2018 . Yuxi Chen, Shu Wang, Shan Lu, and Karthikeyan Sankaralingam. Applying Hardware Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs. In USENIX, pages 837--850, 2018."},{"key":"e_1_3_2_1_19_1","first-page":"286","volume-title":"ASPLOS","author":"DeLozier Christian","year":"2018","unstructured":"Christian DeLozier , Ariel Eizenberg , Brandon Lucia , and Joseph Devietti . SOFRITAS : Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably . In ASPLOS , pages 286 -- 300 , 2018 . Christian DeLozier, Ariel Eizenberg, Brandon Lucia, and Joseph Devietti. SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably. In ASPLOS, pages 286--300, 2018."},{"key":"e_1_3_2_1_20_1","first-page":"201","volume-title":"ISCA","author":"Devietti Joseph","year":"2012","unstructured":"Joseph Devietti , Benjamin P. Wood , Karin Strauss , Luis Ceze , Dan Grossman , and Shaz Qadeer . RADISH : Always-On Sound and Complete Race Detection in Software and Hardware . In ISCA , pages 201 -- 212 , 2012 . Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, and Shaz Qadeer. RADISH: Always-On Sound and Complete Race Detection in Software and Hardware. In ISCA, pages 201--212, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2016.7446069"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_1_23_1","first-page":"1","volume-title":"OSDI","author":"Erickson John","year":"2010","unstructured":"John Erickson , Madanlal Musuvathi , Sebastian Burckhardt , and Kirk Olynyk . Effective Data-Race Detection for the Kernel . In OSDI , pages 1 -- 16 , 2010 . John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. Effective Data-Race Detection for the Kernel. In OSDI, pages 1--16, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555263"},{"key":"e_1_3_2_1_25_1","first-page":"121","volume-title":"FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI","author":"Flanagan Cormac","year":"2009","unstructured":"Cormac Flanagan and Stephen N . Freund . FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI , pages 121 -- 133 , 2009 . Cormac Flanagan and Stephen N. Freund. FastTrack: Efficient and Precise Dynamic Race Detection. In PLDI, pages 121--133, 2009."},{"key":"e_1_3_2_1_26_1","first-page":"316","volume-title":"Detecting Violations of Sequential Consistency. In SPAA","author":"Gharachorloo Kourosh","year":"1991","unstructured":"Kourosh Gharachorloo and Phillip B . Gibbons . Detecting Violations of Sequential Consistency. In SPAA , pages 316 -- 326 , 1991 . Kourosh Gharachorloo and Phillip B. Gibbons. Detecting Violations of Sequential Consistency. In SPAA, pages 316--326, 1991."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2002.1106016"},{"key":"e_1_3_2_1_28_1","volume-title":"Concurrency at Microsoft -- An Exploratory Survey. In (EC)$^2$","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid and Nachi Nagappan . Concurrency at Microsoft -- An Exploratory Survey. In (EC)$^2$ , 2008 . Patrice Godefroid and Nachi Nagappan. Concurrency at Microsoft -- An Exploratory Survey. In (EC)$^2$, 2008."},{"key":"e_1_3_2_1_29_1","first-page":"102","volume-title":"ISCA","author":"Hammond Lance","year":"2004","unstructured":"Lance Hammond , Vicky Wong , Mike Chen , Brian D. Carlstrom , John D. Davis , Ben Hertzberg , Manohar K. Prabhu , Honggo Wijaya , Christos Kozyrakis , and Kunle Olukotun . Transactional Memory Coherence and Consistency . In ISCA , pages 102 -- 113 , 2004 . Lance Hammond, Vicky Wong, Mike Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, and Kunle Olukotun. Transactional Memory Coherence and Consistency. In ISCA, pages 102--113, 2004."},{"key":"e_1_3_2_1_30_1","volume-title":"Morgan and Claypool Publishers","author":"Harris Tim","year":"2010","unstructured":"Tim Harris , James Larus , and Ravi Rajwar . Transactional Memory . Morgan and Claypool Publishers , 2 nd edition, 2010 . Tim Harris, James Larus, and Ravi Rajwar. Transactional Memory . Morgan and Claypool Publishers, 2nd edition, 2010.","edition":"2"},{"key":"e_1_3_2_1_31_1","volume-title":"Computer Architecture: A Quantitative Approach","author":"Hennessy John L.","year":"2011","unstructured":"John L. Hennessy and David A. Patterson . Computer Architecture: A Quantitative Approach . Morgan Kaufmann Publishers Inc ., 5 th edition, 2011 . John L. Hennessy and David A. Patterson. Computer Architecture: A Quantitative Approach . Morgan Kaufmann Publishers Inc., 5th edition, 2011.","edition":"5"},{"key":"e_1_3_2_1_32_1","first-page":"289","volume-title":"ISCA","author":"Herlihy Maurice","year":"1993","unstructured":"Maurice Herlihy and J. Eliot B. Moss . Transactional Memory : Architectural Support for Lock-Free Data Structures . In ISCA , pages 289 -- 300 , 1993 . Maurice Herlihy and J. Eliot B. Moss. Transactional Memory: Architectural Support for Lock-Free Data Structures. In ISCA, pages 289--300, 1993."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451173"},{"key":"e_1_3_2_1_34_1","first-page":"60","volume-title":"ISCA","author":"Jaleel Aamer","year":"2010","unstructured":"Aamer Jaleel , Kevin B. Theobald , Simon C. Steely , Jr., and Joel Emer . High Performance Cache Replacement Using Re-Reference Interval Prediction (RRIP) . In ISCA , pages 60 -- 71 , 2010 . Aamer Jaleel, Kevin B. Theobald, Simon C. Steely, Jr., and Joel Emer. High Performance Cache Replacement Using Re-Reference Interval Prediction (RRIP). In ISCA, pages 60--71, 2010."},{"key":"e_1_3_2_1_35_1","first-page":"185","volume-title":"Data Race Bugs: Telling the Difference with Portend. In ASPLOS","author":"Kasikci Baris","year":"2012","unstructured":"Baris Kasikci , Cristian Zamfir , and George Candea . Data Races vs . Data Race Bugs: Telling the Difference with Portend. In ASPLOS , pages 185 -- 198 , 2012 . Baris Kasikci, Cristian Zamfir, and George Candea. Data Races vs. Data Race Bugs: Telling the Difference with Portend. In ASPLOS, pages 185--198, 2012."},{"key":"e_1_3_2_1_36_1","first-page":"406","volume-title":"SOSP","author":"Kasikci Baris","year":"2013","unstructured":"Baris Kasikci , Cristian Zamfir , and George Candea . RaceMob : Crowdsourced Data Race Detection . In SOSP , pages 406 -- 422 , 2013 . Baris Kasikci, Cristian Zamfir, and George Candea. RaceMob: Crowdsourced Data Race Detection. In SOSP, pages 406--422, 2013."},{"issue":"3","key":"e_1_3_2_1_37_1","first-page":"1","volume":"37","author":"Kasikci Baris","year":"2015","unstructured":"Baris Kasikci , Cristian Zamfir , and George Candea. Automated Classification of Data Races Under Both Strong and Weak Memory Models. TOPLAS , 37 ( 3 ):8: 1 -- 8 :44, May 2015 . Baris Kasikci, Cristian Zamfir, and George Candea. Automated Classification of Data Races Under Both Strong and Weak Memory Models. TOPLAS, 37(3):8:1--8:44, May 2015.","journal-title":"George Candea. Automated Classification of Data Races Under Both Strong and Weak Memory Models. TOPLAS"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854312"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151006"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_42_1","first-page":"210","volume-title":"ISCA","author":"Lucia Brandon","year":"2010","unstructured":"Brandon Lucia , Luis Ceze , Karin Strauss , Shaz Qadeer , and Hans- J. Boehm . Conflict Exceptions : Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races . In ISCA , pages 210 -- 221 , 2010 . Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, and Hans-J. Boehm. Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races. In ISCA, pages 210--221, 2010."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_44_1","first-page":"378","volume-title":"The Java Memory Model. In POPL","author":"Manson Jeremy","year":"2005","unstructured":"Jeremy Manson , William Pugh , and Sarita V . Adve . The Java Memory Model. In POPL , pages 378 -- 391 , 2005 . Jeremy Manson, William Pugh, and Sarita V. Adve. The Java Memory Model. In POPL, pages 378--391, 2005."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806636"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993522"},{"key":"e_1_3_2_1_47_1","first-page":"282","volume-title":"Merritt. A Distributed Algorithm for Deadlock Detection and Resolution. In PODC","author":"Don","year":"1984","unstructured":"Don P. Mitchell and Michael J . Merritt. A Distributed Algorithm for Deadlock Detection and Resolution. In PODC , pages 282 -- 284 , 1984 . Don P. Mitchell and Michael J. Merritt. A Distributed Algorithm for Deadlock Detection and Resolution. In PODC, pages 282--284, 1984."},{"key":"e_1_3_2_1_48_1","volume-title":"HotPar","author":"Ouyang Jessica","year":"2013","unstructured":"Jessica Ouyang , Peter M. Chen , Jason Flinn , and Satish Narayanasamy . ... and region serializability for all . In HotPar , 2013 . Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy. ...and region serializability for all. In HotPar, 2013."},{"volume-title":"Nasdaq's Facebook Glitch Came From Race Conditions","year":"2012","key":"e_1_3_2_1_49_1","unstructured":"PCWorld. Nasdaq's Facebook Glitch Came From Race Conditions , 2012 . http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_facebook_glitch_came_from_race_conditions.html. PCWorld. Nasdaq's Facebook Glitch Came From Race Conditions, 2012. http:\/\/www.pcworld.com\/article\/255911\/nasdaqs_facebook_glitch_came_from_race_conditions.html."},{"key":"e_1_3_2_1_50_1","first-page":"490","volume-title":"MICRO","author":"Peng Yuanfeng","year":"2017","unstructured":"Yuanfeng Peng , Benjamin P. Wood , and Joseph Devietti . PARSNIP : Performant Architecture for Race Safety with No Impact on Precision . In MICRO , pages 490 -- 502 , 2017 . Yuanfeng Peng, Benjamin P. Wood, and Joseph Devietti. PARSNIP: Performant Architecture for Race Safety with No Impact on Precision. In MICRO, pages 490--502, 2017."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2012.6168952"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1521747.1521799"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/258492.258512"},{"key":"e_1_3_2_1_54_1","first-page":"401","volume-title":"Clean: A Race Detector with Cleaner Semantics. In ISCA","author":"Segulja Cedomir","year":"2015","unstructured":"Cedomir Segulja and Tarek S . Abdelrahman . Clean: A Race Detector with Cleaner Semantics. In ISCA , pages 401 -- 413 , 2015 . Cedomir Segulja and Tarek S. Abdelrahman. Clean: A Race Detector with Cleaner Semantics. In ISCA, pages 401--413, 2015."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694379"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863724"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"issue":"2","key":"e_1_3_2_1_59_1","first-page":"282","volume":"10","author":"Shasha Dennis","year":"1988","unstructured":"Dennis Shasha and Marc Snir . Efficient and Correct Execution of Parallel Programs that Share Memory. TOPLAS , 10 ( 2 ): 282 -- 312 , 1988 . Dennis Shasha and Marc Snir. Efficient and Correct Execution of Parallel Programs that Share Memory. TOPLAS, 10(2):282--312, 1988.","journal-title":"Share Memory. TOPLAS"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1145\/1985793.1985848","volume-title":"ICSE","author":"Sheng Tianwei","year":"2011","unstructured":"Tianwei Sheng , Neil Vachharajani , Stephane Eranian , Robert Hundt , Wenguang Chen , and Weimin Zheng . RACEZ : A Lightweight and Non-Invasive Race Detection Tool for Production Applications . In ICSE , pages 401 -- 410 , 2011 . Tianwei Sheng, Neil Vachharajani, Stephane Eranian, Robert Hundt, Wenguang Chen, and Weimin Zheng. RACEZ: A Lightweight and Non-Invasive Race Detection Tool for Production Applications. In ICSE, pages 401--410, 2011."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950375"},{"key":"e_1_3_2_1_62_1","first-page":"524","volume-title":"ISCA","author":"Singh Abhayendra","year":"2012","unstructured":"Abhayendra Singh , Satish Narayanasamy , Daniel Marino , Todd Millstein , and Madanlal Musuvathi . End-to-End Sequential Consistency . In ISCA , pages 524 -- 535 , 2012 . Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, and Madanlal Musuvathi. End-to-End Sequential Consistency. In ISCA, pages 524--535, 2012."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028905"},{"key":"e_1_3_2_1_64_1","first-page":"13","volume-title":"DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism. In ASPLOS","author":"Sung Hyojin","year":"2013","unstructured":"Hyojin Sung , Rakesh Komuravelli , and Sarita V . Adve . DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism. In ASPLOS , pages 13 -- 26 , 2013 . Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve. DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism. In ASPLOS, pages 13--26, 2013."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065947"},{"key":"e_1_3_2_1_66_1","volume-title":"Department of Energy","author":"S.","year":"2004","unstructured":"U. S. --Canada Power System Outage Task Force. Final Report on the August 14th Blackout in the United States and Canada. Technical report , Department of Energy , 2004 . U.S.--Canada Power System Outage Task Force. Final Report on the August 14th Blackout in the United States and Canada. Technical report, Department of Energy, 2004."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370816.2370836"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541955"},{"key":"e_1_3_2_1_69_1","first-page":"430","volume-title":"MICRO","author":"Wu Carole-Jean","year":"2011","unstructured":"Carole-Jean Wu , Aamer Jaleel , Will Hasenplaugh , Margaret Martonosi , Simon C. Steely , Jr., and Joel Emer . SHiP : Signature-based Hit Predictor for High Performance Caching . In MICRO , pages 430 -- 441 , 2011 . Carole-Jean Wu, Aamer Jaleel, Will Hasenplaugh, Margaret Martonosi, Simon C. Steely, Jr., and Joel Emer. SHiP: Signature-based Hit Predictor for High Performance Caching. In MICRO, pages 430--441, 2011."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503232"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"e_1_3_2_1_72_1","first-page":"115","volume-title":"Avoiding Consistency Exceptions Under Strong Memory Models. In ISMM","author":"Zhang Minjia","year":"2017","unstructured":"Minjia Zhang , Swarnendu Biswas , and Michael D . Bond . Avoiding Consistency Exceptions Under Strong Memory Models. In ISMM , pages 115 -- 127 , 2017 . Minjia Zhang, Swarnendu Biswas, and Michael D. Bond. Avoiding Consistency Exceptions Under Strong Memory Models. In ISMM, pages 115--127, 2017."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451129"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Lausanne Switzerland","acronym":"ASPLOS '20"},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378485","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:59Z","timestamp":1750199579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378485"}},"subtitle":["Architecture Support for Not Failing under Fail-Stop Memory Consistency"],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":73,"alternative-id":["10.1145\/3373376.3378485","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378485","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}