{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:35Z","timestamp":1725557795512},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135491"},{"type":"electronic","value":"9783642135507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13550-7_8","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T11:14:12Z","timestamp":1276600452000},"page":"111-124","source":"Crossref","is-referenced-by-count":1,"title":["Static Versioning of Global State for Race Condition Detection"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Keul","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/512529.512560","volume-title":"PLDI 2002","author":"J.-D. Choi","year":"2002","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: PLDI 2002, pp. 258\u2013269. ACM Press, New York (2002)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1595696.1595701","volume-title":"ESEC\/FSE 2009","author":"V. Kahlon","year":"2009","unstructured":"Kahlon, V., Sinha, N., Kruus, E., Zhang, Y.: Static data race detection for concurrent programs with asynchronous calls. In: ESEC\/FSE 2009, pp. 13\u201322. ACM Press, New York (2009)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-68624-8_17","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"A. Raza","year":"2008","unstructured":"Raza, A., Vogel, G.: RCanalyser: A flexible framework for the detection of data races in parallel programs. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 226\u2013239. Springer, Heidelberg (2008)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/1287624.1287654","volume-title":"ESEC-FSE 2007","author":"J.W. Voung","year":"2007","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: Static race detection on millions of lines of code. In: ESEC-FSE 2007, pp. 205\u2013214. ACM, New York (2007)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/1133981.1134019","volume-title":"PLDI 2006","author":"P. Pratikakis","year":"2006","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: LOCKSMITH: Context-sensitive correlation analysis for race detection. In: PLDI 2006, pp. 320\u2013331. ACM, New York (2006)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"SOSP 2003","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: SOSP 2003, pp. 237\u2013252. ACM, New York (2003)"},{"key":"8_CR8","unstructured":"Sterling, N.: WARLOCK \u2013 a static data race analysis tool. In: Proceedings of the USENIX Winter 1993 Technical Conference, San Diego, CA, USA, pp. 97\u2013106 (1993)"},{"issue":"4","key":"8_CR9","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"},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1377492.1377495","volume":"30","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: Static checking and inference for java. ACM Trans. Program. Lang. Syst.\u00a030(4), 1\u201353 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11767077_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2006","author":"A. Raza","year":"2006","unstructured":"Raza, A., Vogel, G., Pl\u00f6dereder, E.: Bauhaus - a tool suite for program analysis and reverse engineering. In: Pinho, L.M., Gonz\u00e1lez Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol.\u00a04006, pp. 71\u201382. Springer, Heidelberg (2006)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/996821.996835","volume-title":"PASTE 2004","author":"D.J. Pearce","year":"2004","unstructured":"Pearce, D.J., Kelly, P.H.J., Hankin, C.: Efficient field-sensitive pointer analysis for c. In: PASTE 2004, pp. 37\u201342. ACM, New York (2004)"},{"key":"8_CR13","first-page":"1","volume-title":"WCRE 2007","author":"S. Staiger","year":"2007","unstructured":"Staiger, S., Vogel, G., Keul, S., Wiebe, E.: Interprocedural static single assignment form. In: WCRE 2007, October 2007, pp. 1\u201310. IEEE Computer Society, Los Alamitos (2007)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/53990.53994","volume-title":"PLDI 1988","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: PLDI 1988, pp. 35\u201346. ACM, New York (1988)"},{"key":"8_CR15","unstructured":"Wheeler, D.A.: SLOCCount. v2.26, \n                    \n                      http:\/\/www.dwheeler.com\/sloccount"},{"issue":"10","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320385.320386","volume":"34","author":"J.-D. Choi","year":"1999","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for java. SIGPLAN Not.\u00a034(10), 1\u201319 (1999)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologiey \u2013 Ada-Europe 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13550-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:07:15Z","timestamp":1619770035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}