{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:00Z","timestamp":1750220580286,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Defense"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,22]]},"DOI":"10.1145\/3380536.3380538","type":"proceedings-article","created":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T22:48:59Z","timestamp":1582152539000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["TardisTM"],"prefix":"10.1145","author":[{"given":"Daming D.","family":"Chen","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip B.","family":"Gibbons","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd C.","family":"Mowry","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,22]]},"reference":[{"volume-title":"Serializability of Transactions in Software Transactional Memory. In TRANSACT '08","author":"Aydonat Utku","key":"e_1_3_2_1_1_1","unstructured":"Utku Aydonat and Tarek S. Abdelrahman . 2008 . Serializability of Transactions in Software Transactional Memory. In TRANSACT '08 . ACM. Utku Aydonat and Tarek S. Abdelrahman. 2008. Serializability of Transactions in Software Transactional Memory. In TRANSACT '08. ACM."},{"key":"e_1_3_2_1_2_1","volume-title":"Martin","author":"Blundell Colin","year":"2010","unstructured":"Colin Blundell , Arun Raghavan , and Milo M.K . Martin . 2010 . RETCON : Transactional Repair Without Replay. In ISCA '10. ACM , 258--269. Colin Blundell, Arun Raghavan, and Milo M.K. Martin. 2010. RETCON: Transactional Repair Without Replay. In ISCA '10. ACM, 258--269."},{"key":"e_1_3_2_1_3_1","unstructured":"Thomas M. Breuel. 1988. Lexical Closures for C++. In C++ Conference. USENIX 293--304.  Thomas M. Breuel. 1988. Lexical Closures for C++. In C++ Conference. USENIX 293--304."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1835698.1835703"},{"key":"e_1_3_2_1_5_1","volume-title":"UAI '97","author":"Chickering David Maxwell","year":"1997","unstructured":"David Maxwell Chickering , David Heckerman , and Christopher Meek . 1997 . A Bayesian Approach to Learning Bayesian Networks with Local Structure . In UAI '97 . AUAI, 80--89. David Maxwell Chickering, David Heckerman, and Christopher Meek. 1997. A Bayesian Approach to Learning Bayesian Networks with Local Structure. In UAI '97. AUAI, 80--89."},{"key":"e_1_3_2_1_6_1","volume-title":"Scott","author":"Dalessandro Luke","year":"2010","unstructured":"Luke Dalessandro , Michael F. Spear , and Michael L . Scott . 2010 . NOrec: Streamlining STM by Abolishing Ownership Records. In PPoPP '10. ACM , 67--78. Luke Dalessandro, Michael F. Spear, and Michael L. Scott. 2010. NOrec: Streamlining STM by Abolishing Ownership Records. In PPoPP '10. ACM, 67--78."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168900"},{"key":"e_1_3_2_1_8_1","unstructured":"Al Danial. [n.d.]. cloc. https:\/\/github.com\/AlDanial\/cloc  Al Danial. [n.d.]. cloc. https:\/\/github.com\/AlDanial\/cloc"},{"volume-title":"Transactional Locking II","author":"Dice Dave","key":"e_1_3_2_1_9_1","unstructured":"Dave Dice , Ori Shalev , and Nir Shavit . 2006. Transactional Locking II . In Distributed Computing, David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Dough Tygar, Moshe Y. Vardi, Gerhard Weikum, and Shlomi Dolev (Eds.). Vol. 4167 . Springer Berlin Heidelberg , 194--208. Dave Dice, Ori Shalev, and Nir Shavit. 2006. Transactional Locking II. In Distributed Computing, David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Dough Tygar, Moshe Y. Vardi, Gerhard Weikum, and Shlomi Dolev (Eds.). Vol. 4167. Springer Berlin Heidelberg, 194--208."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555259"},{"key":"e_1_3_2_1_11_1","volume-title":"Software Behavior Oriented Parallelization. In PLDI '07","author":"Ding Chen","year":"2007","unstructured":"Chen Ding , Xipeng Shen , Kirk Kelsey , Chris Tice , Ruke Huang , and Chengliang Zhang . 2007 . Software Behavior Oriented Parallelization. In PLDI '07 . ACM, 223--234. Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, and Chengliang Zhang. 2007. Software Behavior Oriented Parallelization. In PLDI '07. ACM, 223--234."},{"key":"e_1_3_2_1_12_1","volume-title":"Stretching Transactional Memory. In PLDI '09","author":"Dragojevi\u0107 Aleksandar","year":"2009","unstructured":"Aleksandar Dragojevi\u0107 , Rachid Guerraoui , and Michal Kapalka . 2009 . Stretching Transactional Memory. In PLDI '09 . ACM, 155--165. Aleksandar Dragojevi\u0107, Rachid Guerraoui, and Michal Kapalka. 2009. Stretching Transactional Memory. In PLDI '09. ACM, 155--165."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/360363.360369"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2010.49"},{"key":"e_1_3_2_1_15_1","unstructured":"Anthony Green. [n.d.]. Libffi. https:\/\/sourceware.org\/libffi\/  Anthony Green. [n.d.]. Libffi. https:\/\/sourceware.org\/libffi\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073814.1073863"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2014.10"},{"key":"e_1_3_2_1_18_1","volume-title":"Abstract Nested Transactions. In TRANSACT '04","author":"Harris Tim","year":"2007","unstructured":"Tim Harris . 2007 . Abstract Nested Transactions. In TRANSACT '04 . ACM, 10. Tim Harris. 2007. Abstract Nested Transactions. In TRANSACT '04. ACM, 10."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345237"},{"volume-title":"Software Transactional Memory for Dynamic-Sized Data Structures. In PODC'03","author":"Herlihy Maurice","key":"e_1_3_2_1_20_1","unstructured":"Maurice Herlihy , Victor Luchangco , Mark Moir , and William N . Scherer, III. 2003 . Software Transactional Memory for Dynamic-Sized Data Structures. In PODC'03 . ACM, 92--101. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer, III. 2003. Software Transactional Memory for Dynamic-Sized Data Structures. In PODC'03. ACM, 92--101."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_22_1","first-page":"1","article-title":"Type-Aware Transactions for Faster Concurrent Code. In EuroSys '16","volume":"31","author":"Herman Nathaniel","year":"2016","unstructured":"Nathaniel Herman , Jeevana Priya Inala , Yihe Huang , Lillian Tsai , Eddie Kohler , Barbara Liskov , and Liuba Shrira . 2016 . Type-Aware Transactions for Faster Concurrent Code. In EuroSys '16 . ACM , 31 : 1 -- 31 :16. Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, and Liuba Shrira. 2016. Type-Aware Transactions for Faster Concurrent Code. In EuroSys '16. ACM, 31:1--31:16.","journal-title":"ACM"},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"T-Rex: A Dynamic Race Detection Tool for C\/C++ Transactional Memory Applications. In EuroSys '14","volume":"20","author":"Kestor Gokcen","year":"2014","unstructured":"Gokcen Kestor , Osman S. Unsal , Adrian Cristal , and Serdar Tasiran . 2014 . T-Rex: A Dynamic Race Detection Tool for C\/C++ Transactional Memory Applications. In EuroSys '14 . ACM , 20 : 1 -- 20 :12. Gokcen Kestor, Osman S. Unsal, Adrian Cristal, and Serdar Tasiran. 2014. T-Rex: A Dynamic Race Detection Tool for C\/C++ Transactional Memory Applications. In EuroSys '14. ACM, 20:1--20:12.","journal-title":"ACM"},{"key":"e_1_3_2_1_24_1","volume-title":"Checkpoints and Continuations Instead of Nested Transactions. In SPAA '08","author":"Koskinen Eric","year":"2008","unstructured":"Eric Koskinen and Maurice Herlihy . 2008 . Checkpoints and Continuations Instead of Nested Transactions. In SPAA '08 . ACM, 160--168. Eric Koskinen and Maurice Herlihy. 2008. Checkpoints and Continuations Instead of Nested Transactions. In SPAA '08. ACM, 160--168."},{"key":"e_1_3_2_1_25_1","volume-title":"Coarse-Grained Transactions. In POPL '10","author":"Koskinen Eric","year":"2010","unstructured":"Eric Koskinen , Matthew Parkinson , and Maurice Herlihy . 2010 . Coarse-Grained Transactions. In POPL '10 . ACM, 19--30. Eric Koskinen, Matthew Parkinson, and Maurice Herlihy. 2010. Coarse-Grained Transactions. In POPL '10. ACM, 19--30."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993562"},{"key":"e_1_3_2_1_27_1","volume-title":"Stevenson","author":"Litz Heiner","year":"2014","unstructured":"Heiner Litz , David Cheriton , Amin Firoozshahian , Omid Azizi , and John P . Stevenson . 2014 . SI-TM: Reducing Transactional Memory Abort Rates through Snapshot Isolation. In ASPLOS'14. ACM , 383--398. Heiner Litz, David Cheriton, Amin Firoozshahian, Omid Azizi, and John P. Stevenson. 2014. SI-TM: Reducing Transactional Memory Abort Rates through Snapshot Isolation. In ASPLOS'14. ACM, 383--398."},{"key":"e_1_3_2_1_28_1","volume-title":"STAMP: Stanford Transactional Applications for Multi-Processing. In IISWC '08","author":"Minh Chi Cao","year":"2008","unstructured":"Chi Cao Minh , JaeWoong Chung , C. Kozyrakis , and K. Olukotun . 2008 . STAMP: Stanford Transactional Applications for Multi-Processing. In IISWC '08 . IEEE , 35--46. Chi Cao Minh, JaeWoong Chung, C. Kozyrakis, and K. Olukotun. 2008. STAMP: Stanford Transactional Applications for Multi-Processing. In IISWC '08. IEEE, 35--46."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/3529"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037750"},{"key":"e_1_3_2_1_31_1","volume-title":"Open Nesting in Software Transactional Memory. In PPoPP '07","author":"Ni Yang","year":"2007","unstructured":"Yang Ni , Vijay S. Menon , Ali-Reza Adl-Tabatabai , Antony L. Hosking , Richard L. Hudson , J. Eliot B. Moss , Bratin Saha , and Tatiana Shpeisman . 2007 . Open Nesting in Software Transactional Memory. In PPoPP '07 . ACM, 68--78. Yang Ni, Vijay S. Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, and Tatiana Shpeisman. 2007. Open Nesting in Software Transactional Memory. In PPoPP '07. ACM, 68--78."},{"volume-title":"PACT '07","author":"Olszewski Marek","key":"e_1_3_2_1_32_1","unstructured":"Marek Olszewski , Jeremy Cutler , and J. Gregory Steffan . 2007. JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory . In PACT '07 . IEEE, 365--375. Marek Olszewski, Jeremy Cutler, and J. Gregory Steffan. 2007. JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory. In PACT '07. IEEE, 365--375."},{"key":"e_1_3_2_1_33_1","first-page":"1","article-title":"Transactional Pre-Abort Handlers in Hardware Transactional Memory. In PACT '18","volume":"33","author":"Park Sunjae","year":"2018","unstructured":"Sunjae Park , Christopher J. Hughes , and Milos Prvulovic . 2018 . Transactional Pre-Abort Handlers in Hardware Transactional Memory. In PACT '18 . ACM , 33 : 1 -- 33 :11. Sunjae Park, Christopher J. Hughes, and Milos Prvulovic. 2018. Transactional Pre-Abort Handlers in Hardware Transactional Memory. In PACT '18. ACM, 33:1--33:11.","journal-title":"ACM"},{"key":"e_1_3_2_1_34_1","volume-title":"On Maintaining Multiple Versions in STM. In PODC '10","author":"Perelman Dmitri","year":"2010","unstructured":"Dmitri Perelman , Rui Fan , and Idit Keidar . 2010 . On Maintaining Multiple Versions in STM. In PODC '10 . ACM, 16--25. Dmitri Perelman, Rui Fan, and Idit Keidar. 2010. On Maintaining Multiple Versions in STM. In PODC '10. ACM, 16--25."},{"key":"e_1_3_2_1_35_1","volume-title":"PPoPP '09","author":"Ramadan Hany E.","year":"2009","unstructured":"Hany E. Ramadan , Indrajit Roy , Maurice Herlihy , and Emmett Witchel . 2009 . Committing Conflicting Transactions in an STM . In PPoPP '09 . ACM, 163--172. Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, and Emmett Witchel. 2009. Committing Conflicting Transactions in an STM. In PPoPP '09. ACM, 163--172."},{"key":"e_1_3_2_1_36_1","volume-title":"DISC'06","author":"Riegel Torvald","year":"2006","unstructured":"Torvald Riegel , Pascal Felber , and Christof Fetzer . 2006 . A Lazy Snap-shot Algorithm with Eager Validation . In DISC'06 . Springer-Verlag, 284--298. Torvald Riegel, Pascal Felber, and Christof Fetzer. 2006. A Lazy Snap-shot Algorithm with Eager Validation. In DISC'06. Springer-Verlag, 284--298."},{"key":"e_1_3_2_1_37_1","volume-title":"STAMP Need Not Be Considered Harmful. In TRANSACT'14","author":"Ruan Wenjia","year":"2014","unstructured":"Wenjia Ruan , Yujie Liu , and Michael Spear . 2014 . STAMP Need Not Be Considered Harmful. In TRANSACT'14 . ACM. Wenjia Ruan, Yujie Liu, and Michael Spear. 2014. STAMP Need Not Be Considered Harmful. In TRANSACT'14. ACM."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295730"},{"key":"e_1_3_2_1_39_1","volume-title":"Extending TM Primitives Using Low Level Semantics. In SPAA '16","author":"Saad Mohamed M.","year":"2016","unstructured":"Mohamed M. Saad , Roberto Palmieri , Ahmed Hassan , and Binoy Ravindran . 2016 . Extending TM Primitives Using Low Level Semantics. In SPAA '16 . ACM, 109--120. Mohamed M. Saad, Roberto Palmieri, Ahmed Hassan, and Binoy Ravindran. 2016. Extending TM Primitives Using Low Level Semantics. In SPAA '16. ACM, 109--120."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1123001"},{"volume-title":"Advanced Contention Management for Dynamic Software Transactional Memory. In PODC '05","author":"Scherer William N.","key":"e_1_3_2_1_41_1","unstructured":"William N. Scherer , III and Michael L. Scott . 2005 . Advanced Contention Management for Dynamic Software Transactional Memory. In PODC '05 . ACM, 240--248. William N. Scherer, III and Michael L. Scott. 2005. Advanced Contention Management for Dynamic Software Transactional Memory. In PODC '05. ACM, 240--248."},{"key":"e_1_3_2_1_42_1","volume-title":"Software Transactional Memory. In PODC '95","author":"Shavit Nir","year":"1995","unstructured":"Nir Shavit and Dan Touitou . 1995 . Software Transactional Memory. In PODC '95 . ACM, 204--213. Nir Shavit and Dan Touitou. 1995. Software Transactional Memory. In PODC '95. ACM, 204--213."},{"key":"e_1_3_2_1_43_1","volume-title":"WTW '06","author":"Skare Travis","year":"2006","unstructured":"Travis Skare and Christos Kozyrakis . 2006 . Early Release: Friend or Foe? . In WTW '06 . ACM. Travis Skare and Christos Kozyrakis. 2006. Early Release: Friend or Foe?. In WTW '06. ACM."},{"key":"e_1_3_2_1_44_1","volume-title":"Transactional Data Structure Libraries. In PLDI'16","author":"Spiegelman Alexander","year":"2016","unstructured":"Alexander Spiegelman , Guy Golan-Gueta , and Idit Keidar . 2016 . Transactional Data Structure Libraries. In PLDI'16 . ACM, 682--696. Alexander Spiegelman, Guy Golan-Gueta, and Idit Keidar. 2016. Transactional Data Structure Libraries. In PLDI'16. ACM, 682--696."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2086696.2086710"},{"key":"e_1_3_2_1_46_1","unstructured":"Linus Torvalds. [n.d.]. Git. https:\/\/git-scm.com  Linus Torvalds. [n.d.]. Git. https:\/\/git-scm.com"},{"volume-title":"PACT '07","author":"Watson I.","key":"e_1_3_2_1_47_1","unstructured":"I. Watson , C. Kirkham , and M. Lujan . 2007. A Study of a Transactional Parallel Routing Algorithm . In PACT '07 . IEEE, 388--400. I. Watson, C. Kirkham, and M. Lujan. 2007. A Study of a Transactional Parallel Routing Algorithm. In PACT '07. IEEE, 388--400."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.9728"},{"key":"e_1_3_2_1_49_1","volume-title":"Program Slicing. In ICSE '81","author":"Weiser Mark","year":"1981","unstructured":"Mark Weiser . 1981 . Program Slicing. In ICSE '81 . IEEE, 439--449. Mark Weiser. 1981. Program Slicing. In ICSE '81. IEEE, 439--449."},{"volume-title":"Adaptive Transaction Scheduling for Transactional Memory Systems. In SPAA '08","author":"Richard","key":"e_1_3_2_1_50_1","unstructured":"Richard M. Yoo and Hsien-Hsin S. Lee. 2008 . Adaptive Transaction Scheduling for Transactional Memory Systems. In SPAA '08 . ACM, 169--178. Richard M. Yoo and Hsien-Hsin S. Lee. 2008. Adaptive Transaction Scheduling for Transactional Memory Systems. In SPAA '08. ACM, 169--178."},{"volume-title":"Exploiting Semantic Commutativity in Hardware Speculation. In MICRO '16","author":"Zhang G.","key":"e_1_3_2_1_51_1","unstructured":"G. Zhang , V. Chiu , and D. Sanchez . 2016 . Exploiting Semantic Commutativity in Hardware Speculation. In MICRO '16 . IEEE, 1--12. G. Zhang, V. Chiu, and D. Sanchez. 2016. Exploiting Semantic Commutativity in Hardware Speculation. In MICRO '16. IEEE, 1--12."}],"event":{"name":"PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"],"location":"San Diego California","acronym":"PPoPP '20"},"container-title":["Proceedings of the Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380536.3380538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380536.3380538","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380536.3380538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:32Z","timestamp":1750195892000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380536.3380538"}},"subtitle":["incremental repair for transactional memory"],"short-title":[],"issued":{"date-parts":[[2020,2,22]]},"references-count":51,"alternative-id":["10.1145\/3380536.3380538","10.1145\/3380536"],"URL":"https:\/\/doi.org\/10.1145\/3380536.3380538","relation":{},"subject":[],"published":{"date-parts":[[2020,2,22]]},"assertion":[{"value":"2020-02-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}