{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:43Z","timestamp":1763468203595},"reference-count":44,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/hpca.2014.6835923","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T18:48:01Z","timestamp":1406573281000},"page":"120-131","source":"Crossref","is-referenced-by-count":11,"title":["Dynamically detecting and tolerating IF-Condition Data Races"],"prefix":"10.1109","author":[{"given":"Shanxiang","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdullah A.","family":"Muzahid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wonsun","family":"Ahn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Torrellas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1145\/1555754.1555797","article-title":"SigRace: Signature- based data race detection","author":"muzahid","year":"2009","journal-title":"ISCA"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390649"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/106972.106996"},{"key":"36","article-title":"Portably solving file TOCTTOU races with hardness amplification","author":"tsafrir","year":"2008","journal-title":"FAST"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.32"},{"key":"33","article-title":"Double-checked locking: An optimization pattern for efficiently initializing and accessing thread-safe objects","author":"schmidt","year":"1996","journal-title":"PLoP"},{"key":"15","article-title":"Atom-aid: Detecting and surviving atomicity violations","author":"lucia","year":"2008","journal-title":"ISCA"},{"journal-title":"Sun Studio Thread Analyzer","year":"0","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"13","article-title":"Cetus - An extensible compiler infrastructure for source-to-source transformation","author":"lee","year":"2003","journal-title":"LCPC"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"key":"37","doi-asserted-by":"crossref","DOI":"10.1145\/504311.504288","article-title":"Object race detection","author":"von praun","year":"2001","journal-title":"SIGPLAN Not"},{"journal-title":"Volume 3B System Programming Guide Part II Intel Corporation","year":"0","key":"11"},{"key":"38","article-title":"TOCTTOU vulnerabilities in unix-style file systems: An anatomical study","author":"wei","year":"2005","journal-title":"FAST"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1145\/1250734.1250738","article-title":"Au- tomatically classifying benign and harmful data races using replay analysis","author":"narayanasamy","year":"2007","journal-title":"PLDI"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1145\/1133981.1134018","article-title":"Effective static race detection for java","author":"naik","year":"2006","journal-title":"PLDI"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.56"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"journal-title":"Collection of Concurrency Bugs","year":"2009","author":"yu","key":"40"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346191"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"23","article-title":"Detecting data races in parallel program executions","author":"netzer","year":"1990","journal-title":"LCPC"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"26","article-title":"CORD: Cost-effective (and nearly overhead-free) order- recording and data race detection","author":"prvulovic","year":"2006","journal-title":"HPCA"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2003.1206993"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2012.6169039"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508266"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","article-title":"Effective data-race detection for the kernel","author":"erickson","year":"2010","journal-title":"OSDI"},{"year":"0","key":"1"},{"key":"30","doi-asserted-by":"crossref","DOI":"10.1145\/1504176.1504202","article-title":"Detecting and tolerating asymmetric races","author":"ratanaworabhan","year":"2009","journal-title":"PPoPP"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"6","article-title":"Kivati: Fast detection and prevention of atomicity violations","author":"chew","year":"2010","journal-title":"Eurosys"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/582438.582440"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2012.6237018"}],"event":{"name":"2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)","start":{"date-parts":[[2014,2,15]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2014,2,19]]}},"container-title":["2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6823235\/6835920\/06835923.pdf?arnumber=6835923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T14:50:38Z","timestamp":1689432638000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6835923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/hpca.2014.6835923","relation":{},"subject":[],"published":{"date-parts":[[2014,2]]}}}