{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:19Z","timestamp":1750306639572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,14]],"date-time":"2014-04-14T00:00:00Z","timestamp":1397433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BSC"},{"DOI":"10.13039\/501100002924","name":"Federaci\u00f3n Espa\u00f1ola de Enfermedades Raras","doi-asserted-by":"publisher","award":["TIN2012-34557"],"award-info":[{"award-number":["TIN2012-34557"]}],"id":[{"id":"10.13039\/501100002924","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002809","name":"Generalitat de Catalunya","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,14]]},"DOI":"10.1145\/2592798.2592809","type":"proceedings-article","created":{"date-parts":[[2014,4,28]],"date-time":"2014-04-28T14:18:30Z","timestamp":1398694710000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["T-Rex"],"prefix":"10.1145","author":[{"given":"Gokcen","family":"Kestor","sequence":"first","affiliation":[{"name":"Pacific Northwest National Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman S.","family":"Unsal","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Cristal","sequence":"additional","affiliation":[{"name":"Polytechnic University of Catalonia, IIIA - CSIC - Spanish"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serdar","family":"Tasiran","sequence":"additional","affiliation":[{"name":"Koc University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328449"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504203"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.09.004"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/285930.285996"},{"key":"e_1_3_2_1_5_1","volume-title":"Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking","author":"Blundell C.","year":"2005","unstructured":"C. Blundell , E. C. Lewis , and M. M. K. Martin . Deconstructing transactional semantics: The subtleties of atomicity . Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking , 2005 . C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactional semantics: The subtleties of atomicity. Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking, 2005."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of the 5th ACM European Conference on Computer Systems","author":"Christie D.","year":"2010","unstructured":"D. Christie , J. Chung , S. Diestelhorst , M. Hohmuth , M. Pohlack , C. Fetzer , M. Nowack , T. Riegel , P. Felber , P. Marlier , and E. Riviere . Dresden TM Compiler (DTMC) . In Proc. of the 5th ACM European Conference on Computer Systems , 2010 . D. Christie, J. Chung, S. Diestelhorst, M. Hohmuth, M. Pohlack, C. Fetzer, M. Nowack, T. Riegel, P. Felber, P. Marlier, and E. Riviere. Dresden TM Compiler (DTMC). In Proc. of the 5th ACM European Conference on Computer Systems, 2010."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the Workshop on Transactional Computing","author":"Dalessandro L.","year":"2009","unstructured":"L. Dalessandro and M. L. Scott . Strong isolation is a weak idea . In Proc. of the Workshop on Transactional Computing , 2009 . L. Dalessandro and M. L. Scott. Strong isolation is a weak idea. In Proc. of the Workshop on Transactional Computing, 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693464"},{"key":"e_1_3_2_1_9_1","volume-title":"DI-FCT\/UNL","author":"Dias R.","year":"2009","unstructured":"R. Dias and B. C. Teixeira . Ajex: A source-to-source java stm framework compiler. Technical report , DI-FCT\/UNL , 2009 . R. Dias and B. C. Teixeira. Ajex: A source-to-source java stm framework compiler. Technical report, DI-FCT\/UNL, 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508263"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11864219_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/122759.122767"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1178597.1178609"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161006"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTCHIPS.2011.7477488"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_19_1","volume-title":"May","author":"Intel Corporation","year":"2009","unstructured":"Intel Corporation . Intel transactional memory compiler and runtime application binary interface , May 2009 . Document No . 318523-002US, revision 1.1. Intel Corporation. Intel transactional memory compiler and runtime application binary interface, May 2009. Document No. 318523-002US, revision 1.1."},{"key":"e_1_3_2_1_20_1","volume-title":"IBM Research Division","author":"Loginov C. J., A.","year":"2001","unstructured":"C. J., A. Loginov , and S. V. Static datarace analysis for multithreaded object-oriented programs. Technical report , IBM Research Division , Thomas J. Watson Research Centre , 2001 . C. J., A. Loginov, and S. V. Static datarace analysis for multithreaded object-oriented programs. Technical report, IBM Research Division, Thomas J. Watson Research Centre, 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2006.18"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378588"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of the IEEE Intl. Symp. on Workload Characterization","author":"Minh C. C.","year":"2008","unstructured":"C. C. Minh , J. Chung , C. Kozyrakis , and K. Olukotun . STAMP: Stanford transactional applications for multiprocessing . In Proc. of the IEEE Intl. Symp. on Workload Characterization , 2008 . C. C. Minh, J. Chung, C. Kozyrakis, and K. Olukotun. STAMP: Stanford transactional applications for multiprocessing. In Proc. of the IEEE Intl. Symp. on Workload Characterization, 2008."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248377.1248415"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229469"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449779"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74844"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250744"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281161"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of InForum","author":"Teixeira B. C.","year":"2010","unstructured":"B. C. Teixeira , J. Lourenco , and D. Sousa . A static approach for detecting concurrency anomalies in transactional memory . In Proc. of InForum 2010 . B. C. Teixeira, J. Lourenco, and D. Sousa. A static approach for detecting concurrency anomalies in transactional memory. In Proc. of InForum 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504288"},{"key":"e_1_3_2_1_36_1","volume-title":"IEEE\/ACM International Symposium on","author":"Xie X.","year":"2011","unstructured":"X. Xie and J. Xue . Acculock: Accurate and efficient detection of data races. Code Generation and Optimization , IEEE\/ACM International Symposium on , 2011 . X. Xie and J. Xue. Acculock: Accurate and efficient detection of data races. Code Generation and Optimization, IEEE\/ACM International Symposium on, 2011."}],"event":{"name":"EuroSys 2014: Ninth Eurosys Conference 2014","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Amsterdam The Netherlands","acronym":"EuroSys 2014"},"container-title":["Proceedings of the Ninth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2592798.2592809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592809"}},"subtitle":["a dynamic race detection tool for C\/C++ transactional memory applications"],"short-title":[],"issued":{"date-parts":[[2014,4,14]]},"references-count":36,"alternative-id":["10.1145\/2592798.2592809","10.1145\/2592798"],"URL":"https:\/\/doi.org\/10.1145\/2592798.2592809","relation":{},"subject":[],"published":{"date-parts":[[2014,4,14]]},"assertion":[{"value":"2014-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}