{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:01:32Z","timestamp":1725739292594},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396106"},{"type":"electronic","value":"9783642396113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39611-3_8","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T18:33:07Z","timestamp":1372876387000},"page":"8-23","source":"Crossref","is-referenced-by-count":10,"title":["Precise Detection of Atomicity Violations"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Dias","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Pessanha","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Louren\u00e7o","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/73560.73561","volume-title":"Proc. of the 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1988","author":"B. Alpern","year":"1988","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Proc. of the 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1988, pp. 1\u201311. ACM, San Diego (1988)"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.281","volume":"13","author":"C. Artho","year":"2003","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. Software Testing, Verification and Reliability\u00a013(4), 207\u2013227 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-30476-0_16","volume-title":"Automated Technology for Verification and Analysis","author":"C. Artho","year":"2004","unstructured":"Artho, C., Havelund, K., Biere, A.: Using block-local atomicity to detect stale-value concurrency errors. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 150\u2013164. Springer, Heidelberg (2004)"},{"issue":"10","key":"8_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1449955.1449783","volume":"43","author":"N.E. Beckman","year":"2008","unstructured":"Beckman, N.E., Bierhoff, K., Aldrich, J.: Verifying correct usage of atomic blocks and typestate. SIGPLAN Not.\u00a043(10), 227\u2013244 (2008)","journal-title":"SIGPLAN Not."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: Proc. of the 31st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 2004, Venice, Italy, pp. 256\u2013267 (2004)","DOI":"10.1145\/982962.964023"},{"key":"8_CR6","unstructured":"IBM HRL \u2014 Concurrency Testing Repository"},{"key":"8_CR7","first-page":"26","volume-title":"Proc. of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010","author":"B. Teixeira","year":"2010","unstructured":"Teixeira, B., Louren\u00e7o, J.M., Farchi, E., Dias, R.J., Sousa, D.G.: Detection of transactional memory anomalies using static analysis. In: Proc. of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, pp. 26\u201336. ACM, New York (2010)"},{"key":"8_CR8","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: Proc. of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON 1999, pp. 125\u2013135. IBM Press (1999)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Static detection of atomicity violations in object-oriented programs. Journal of Object Technology, 2004 (2003)","DOI":"10.5381\/jot.2004.3.6.a5"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S1571-0661(04)81049-1","volume":"89","author":"L. Wang","year":"2003","unstructured":"Wang, L., Stoller, S.: Run-Time Analysis for Atomicity. Electronic Notes in Theoretical Computer Science\u00a089(2), 191\u2013209 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39611-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:56:50Z","timestamp":1557899810000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39611-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396106","9783642396113"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39611-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}