{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:51Z","timestamp":1773192771527,"version":"3.50.1"},"reference-count":16,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)81049-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"191-209","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":22,"title":["Run-Time Analysis for Atomicity"],"prefix":"10.1016","volume":"89","author":[{"given":"Liqiang","family":"Wang","sequence":"first","affiliation":[]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Cyrille Artho, Klaus Havelund, and Armin Biere. High-level data races. In Proc. First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS), April 2003.","DOI":"10.1002\/stvr.281"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB2","series-title":"Concurrency control and recovery in database systems","author":"Bernstein","year":"1987"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 211\u2013230, November 2002.","DOI":"10.1145\/582419.582440"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Chandrasekar Boyapati and Martin C. Rinard. A parameterized type system for race-free Java programs. In Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36 (11) of SIGPLAN Notices, pages 56\u201369. ACM Press, November 2001.","DOI":"10.1145\/504311.504287"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Stephen Freund. Type-based race detection for Java. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219\u2013232. ACM Press, 2000.","DOI":"10.1145\/349299.349328"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Shaz Qadeer. A type and effect system for atomicity. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, 2003.","DOI":"10.1145\/781167.781169"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Shaz Qadeer. Types for atomicity. In Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pages 1\u201312. ACM Press, 2003.","DOI":"10.1145\/604174.604176"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Dan Grossman. Type-safe multithreading in Cyclone. In Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pages 13\u201325. ACM Press, 2003.","DOI":"10.1145\/604174.604177"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Klaus Havelund. Using runtime analysis to guide model checking of java programs. In Proc. 7th Int'l. SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science. Springer-Verlag, August 2000.","DOI":"10.1007\/10722468_15"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Grigore Rosu. Monitoring Java programs with Java PathExplorer. In Proc. First Workshop on Runtime Verification (RV'01), volume 55 (2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2001.","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Grigore Rosu. Synthesizing monitors for safety properties. In Proc. International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), volume 2280, pages 342\u2013356, April 2002.","DOI":"10.1007\/3-540-46002-0_24"},{"issue":"3","key":"10.1016\/S1571-0661(04)81049-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","article-title":"Linearizability: a correctness condition for concurrent objects","volume":"12","author":"Herlihy","year":"1990","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"12","key":"10.1016\/S1571-0661(04)81049-1_NEWBIB13","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","article-title":"Reduction: A method of proving properties of parallel programs","volume":"18","author":"Lipton","year":"1975","journal-title":"Communications of the ACM"},{"issue":"4","key":"10.1016\/S1571-0661(04)81049-1_NEWBIB14","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1145\/322154.322158","article-title":"The serializability of concurrent database updates","volume":"26","author":"Papadimitriou","year":"1979","journal-title":"Journal of the ACM"},{"issue":"4","key":"10.1016\/S1571-0661(04)81049-1_NEWBIB15","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","article-title":"Eraser: A dynamic data race detector for multithreaded programs","volume":"15","author":"Savage","year":"1997","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/S1571-0661(04)81049-1_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Liqiang Wang and Scott D. Stoller. Run-time analysis for atomicity, May 2003. Available at http:\/\/www.cs.sunysb.edu\/~liqiang\/atomicity.html.","DOI":"10.1016\/S1571-0661(04)81049-1"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810491?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810491?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:05Z","timestamp":1761610025000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104810491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S1571066104810491"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)81049-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Run-Time Analysis for Atomicity","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)81049-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}