{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:33Z","timestamp":1725574593474},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236108"},{"type":"electronic","value":"9783540304760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30476-0_16","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T17:51:35Z","timestamp":1294854695000},"page":"150-164","source":"Crossref","is-referenced-by-count":21,"title":["Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Arnold, K., Gosling, J.: The Java Programming Language. Addison-Wesley, Reading (1996)"},{"key":"16_CR2","volume-title":"Proc. 13th ASWEC","author":"C. Artho","year":"2001","unstructured":"Artho, C., Biere, A.: Applying static analysis to large-scale, multithreaded Java programs. In: Grant, D. (ed.) Proc. 13th ASWEC, Canberra, Australia, IEEE Computer Society, Los Alamitos (2001)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing. Verification & Reliability (STVR)\u00a013(4) (2003)","DOI":"10.1002\/stvr.281"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-540-27813-9_37","volume-title":"Computer Aided Verification","author":"C. Artho","year":"2004","unstructured":"Artho, C., Schuppan, V., Biere, A., Eugster, P., Baur, M., Zweim\u00fcller, B.: JNuke: efficient dynamic analysis for Java. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 462\u2013465. Springer, Heidelberg (2004)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/320384.320387","volume-title":"Proc. OOPSLA 1999","author":"B. Blanchet","year":"1999","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: application to Java. In: Proc. OOPSLA 1999, Denver, USA, pp. 20\u201334. ACM Press, New York (1999)"},{"issue":"6","key":"16_CR6","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/945885.945886","volume":"25","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B.: Escape analysis for java, theory and practice. ACM Transactions on Programming Languages and Systems\u00a025(6), 713\u2013775 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/320384.320388","volume-title":"Proc. OOPSLA 1999","author":"J. Bogda","year":"1999","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in Java. In: Proc. OOPSLA 1999, Denver, USA, pp. 35\u201346. ACM Press, New York (1999)"},{"key":"16_CR8","unstructured":"Burrows, M., Leino, R.: Finding stale-value errors in concurrent programs. Technical Report SRC-TN-2002-004, Compaq SRC, Palo Alto, USA (2002)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320384.320386","volume-title":"Proc. OOPSLA 1999","author":"J. Choi","year":"1999","unstructured":"Choi, J., Gupta, M., Serrano, M., Sreedhar, V., Midkiff, S.: Escape analysis for Java. In: Proc. OOPSLA 1999, Denver, USA, pp. 1\u201319. ACM Press, New York (1999)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24732-6_18","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C.: Verifying commit-atomicity using model-checking. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 252\u2013266. Springer, Heidelberg (2004)"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/982962.964023","volume":"39","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.: Atomizer: a dynamic atomicity checker for multithreaded programs. SIGPLAN Not\u00a039(1), 256\u2013267 (2004)","journal-title":"SIGPLAN Not"},{"key":"16_CR12","first-page":"234","volume-title":"Proc. PLDI 2002","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, R., Lillibridge, M., Nelson, G., Saxe, J., Stata, R.: Extended static checking for Java. In: Proc. PLDI 2002, Berlin, Germany, pp. 234\u2013245. ACM Press, New York (2002)"},{"key":"16_CR13","volume-title":"Proc. Workshop on Types in Language Design and Implementation (TLDI 2003)","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: Proc. Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, USA, ACM Press, New York (2003)"},{"key":"16_CR14","volume-title":"The Java Virtual Machine Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_20","volume-title":"SPIN Model Checking and Software Verification","author":"J. Harrow","year":"2000","unstructured":"Harrow, J.: Runtime checking of multithreaded applications with Visual Threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"16_CR16","volume-title":"Concurrent Programming in Java, Second Edition","author":"D. Lea","year":"1999","unstructured":"Lea, D.: Concurrent Programming in Java, Second Edition, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"issue":"12","key":"16_CR17","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Praun, C.v., Gross, T.: Static detection of atomicity violations in object-oriented programs. In: Proc. Formal Techniques for Java-like Programs, vol. 408 of Technical Reports from ETH Z\u00fcrich. ETH Z\u00fcrich (2003)","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. on Computer Systems\u00a015(4) (1997)","DOI":"10.1145\/265924.265927"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2) ( April 2003)","DOI":"10.1023\/A:1022920129859"},{"key":"16_CR21","volume-title":"OOPSLA 2001","author":"C. Praun von","year":"2001","unstructured":"von Praun, C., Gross, T.: Object-race detection. In: OOPSLA 2001, Tampa Bay, USA, ACM Press, New York (2001)"},{"key":"16_CR22","series-title":"ENTCS","volume-title":"Proc. Run-Time Verification Workshop (RV 2003)","author":"L. Wang","year":"2003","unstructured":"Wang, L., Stoller, S.: Run-time analysis for atomicity. In: Proc. Run-Time Verification Workshop (RV 2003), Boulder, USA. ENTCS, vol.\u00a089(2), Elsevier, Amsterdam (2003)"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/320384.320400","volume-title":"Proc. OOPSLA 1999","author":"J. Whaley","year":"1999","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: Proc. OOPSLA 1999, Denver, USA, pp. 187\u2013206. ACM Press, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30476-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:53:40Z","timestamp":1605761620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30476-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236108","9783540304760"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30476-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}