{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:42:17Z","timestamp":1748716937738,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693061","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"4-14","source":"Crossref","is-referenced-by-count":8,"title":["Round-up: Runtime checking quasi linearizability of concurrent data structures"],"prefix":"10.1109","author":[{"family":"Lu Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arijit","family":"Chattopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/185675.185815"},{"key":"35","article-title":"Using concurrency to check concurrency: Checking serializability in software transactional memory","author":"sinha","year":"2010","journal-title":"Parallel and Distributed Processing Symposium"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_3"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926433"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"33","first-page":"328","article-title":"Trace-based symbolic analysis for atomicity violations","author":"wang","year":"2010","journal-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems"},{"journal-title":"Scal High-performance Multicore-scalable Data Structures","year":"0","author":"salzburg","key":"15"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806634"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_39"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_41"},{"key":"14","article-title":"Inspect: A runtime model checker for multithreaded C programs","author":"yang","year":"2008","journal-title":"University of Utah Tech Rep UUCS-08-004"},{"key":"37","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-642-20398-5_23","article-title":"Generating data race witnesses by an SMT-based analysis","author":"said","year":"2011","journal-title":"NASA Formal Methods"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_21"},{"key":"38","article-title":"Predicting concurrency failures in generalized traces of x86 executables","author":"wang","year":"2011","journal-title":"International Conference on Runtime Verification"},{"key":"12","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-642-02652-2_21","article-title":"Experience with model checking linearizability","author":"vechev","year":"2009","journal-title":"10th Int SPIN Workshop on Model Checking Software"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430542"},{"key":"42","first-page":"136","article-title":"Maximal causal models for sequentially consistent systems","author":"serbanuta","year":"2012","journal-title":"International Conference on Runtime Verification"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_20"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"22","first-page":"315","article-title":"Causal atomicity","volume":"4144","author":"farzan","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970516"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_27"},{"key":"29","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-540-70545-1_8","article-title":"Monitoring atomicity in concurrent programs","author":"farzan","year":"2008","journal-title":"International Conference on Computer Aided Verification"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17653-1_29"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"2"},{"key":"10","first-page":"129","article-title":"Proving correctness of highly-concurrent linearisable objects","volume":"2006","author":"vafeiadis","year":"2006","journal-title":"Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPOPP"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375618"},{"key":"7","first-page":"913","article-title":"Incorrect systems: It's not the problem, it's the solution","author":"kirsch","year":"2012","journal-title":"Proceedings of the Design Automation Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33078-0_20"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_22"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2482767.2482789"},{"key":"31","first-page":"256","article-title":"Symbolic predictive analysis for concurrent programs","author":"wang","year":"2009","journal-title":"International Symposium on Formal Methods"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429109"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_27"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1993806.1993869"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693061.pdf?arnumber=6693061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T22:22:17Z","timestamp":1565043737000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693061\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693061","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}