{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:56:48Z","timestamp":1725656208680},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642275487"},{"type":"electronic","value":"9783642275494"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27549-4_67","type":"book-chapter","created":{"date-parts":[[2012,2,1]],"date-time":"2012-02-01T01:53:22Z","timestamp":1328061202000},"page":"519-526","source":"Crossref","is-referenced-by-count":3,"title":["A Uniform Classification of Common Concurrency Errors"],"prefix":"10.1007","author":[{"given":"Jan","family":"Fiedor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohuslav","family":"K\u0159ena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zden\u011bk","family":"Letko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"67_CR1","volume-title":"Concurrent programming: principles and practice","author":"G.R. Andrews","year":"1991","unstructured":"Andrews, G.R.: Concurrent programming: principles and practice. Benjamin-Cummings Publishing Co., Inc., Redwood City (1991)"},{"key":"67_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-73230-3_6","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"J. Blieberger","year":"2007","unstructured":"Blieberger, J., Burgstaller, B., Mittermayr, R.: Static detection of livelocks in ada multitasking programs. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 69\u201383. Springer, Heidelberg (2007)"},{"key":"67_CR3","unstructured":"Bradbury, J.S., Jalbert, K.: Defining a catalog of programming anti-patterns for concurrent java. In: Proc. of SPAQu 2009, pp. 6\u201311 (October 2009)"},{"key":"67_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"Coffman, E.G., Elphick, M., Shoshani, A.: System deadlocks. ACM Comput. Surv.\u00a03, 67\u201378 (1971)","journal-title":"ACM Comput. Surv."},{"issue":"5","key":"67_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/1165389.945468","volume":"37","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. SIGOPS Oper. Syst. Rev.\u00a037(5), 237\u2013252 (2003)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"67_CR6","first-page":"286","volume-title":"Proc. of IPDPS 2003","author":"E. Farchi","year":"2003","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: Proc. of IPDPS 2003, p. 286.2. IEEE Computer Society, Washington, DC, USA (2003)"},{"key":"67_CR7","unstructured":"Fiedor, J., Kena, B., Letko, Z., Vojnar, T.: A uniform classification of common concurrency errors. Technical report (2010)"},{"issue":"2","key":"67_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10703-005-1489-x","volume":"26","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P.: Software model checking: The verisoft approach. Form. Methods Syst. Des.\u00a026(2), 77\u2013101 (2005)","journal-title":"Form. Methods Syst. Des."},{"key":"67_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","author":"K. Havelund","year":"2000","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of java programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"67_CR10","unstructured":"Ho, A., Smith, S., Hand, S.: On deadlock, livelock, and forward progress. Technical report, University of Cambridge (2005)"},{"key":"67_CR11","volume-title":"Spin model checker, the: primer and reference manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: Spin model checker, the: primer and reference manual. Addison-Wesley Professional, Reading (2003)"},{"key":"67_CR12","unstructured":"Hovemeyer, D., Pugh, W.: Finding concurrency bugs in java. In: Proc. of PODC 2004 (July 2004)"},{"issue":"7","key":"67_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"12","key":"67_CR14","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":"67_CR15","first-page":"287","volume-title":"Proc. of IPDPS 2003","author":"B. Long","year":"2003","unstructured":"Long, B., Strooper, P.: A classification of concurrency failures in java components. In: Proc. of IPDPS 2003, p. 287.1. IEEE Computer Society, Washington, DC, USA (2003)"},{"key":"67_CR16","first-page":"329","volume-title":"Proc. of ASPLOS 2008","author":"S. Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proc. of ASPLOS 2008, pp. 329\u2013339. ACM, New York (2008)"},{"key":"67_CR17","first-page":"37","volume-title":"Proc. of ASPLOS 2006","author":"S. Lu","year":"2006","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: Proc. of ASPLOS 2006, pp. 37\u201348. ACM Press, New York (2006)"},{"key":"67_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., New York (1992)"},{"issue":"3","key":"67_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/263326.263335","volume":"15","author":"J.C. Mogul","year":"1997","unstructured":"Mogul, J.C., Ramakrishnan, K.K.: Eliminating receive livelock in an interrupt-driven kernel. ACM Trans. Comput. Syst.\u00a015(3), 217\u2013252 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"67_CR20","first-page":"45","volume-title":"Proc. of APSEC 2001","author":"Y. Nonaka","year":"2001","unstructured":"Nonaka, Y., Ushijima, K., Serizawa, H., Murata, S., Cheng, J.: A run-time deadlock detector for concurrent java programs. In: Proc. of APSEC 2001, p. 45. IEEE Computer Society, Washington, DC, USA (2001)"},{"key":"67_CR21","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"67_CR22","first-page":"27","volume-title":"Proc. of SOSP 1997","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multi-threaded programs. In: Proc. of SOSP 1997, pp. 27\u201337. ACM Press, New York (1997)"},{"key":"67_CR23","volume-title":"Operating Systems: Internals and Design Principles","author":"W. Stallings","year":"2008","unstructured":"Stallings, W.: Operating Systems: Internals and Design Principles, 6th edn. Prentice-Hall, Englewood Cliffs (2008)","edition":"6"},{"key":"67_CR24","volume-title":"Modern Operating Systems","author":"A.S. Tanenbaum","year":"2007","unstructured":"Tanenbaum, A.S.: Modern Operating Systems. Prentice Hall Press, Upper Saddle River (2007)"},{"key":"67_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/11531142_26","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Williams","year":"2005","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection for java libraries. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 602\u2013629. Springer, Heidelberg (2005)"},{"issue":"3","key":"67_CR26","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/1555815.1555796","volume":"37","author":"J. Yu","year":"2009","unstructured":"Yu, J., Narayanasamy, S.: A case for an interleaving constrained shared-memory multi-processor. SIGARCH Comput. Archit. News\u00a037(3), 325\u2013336 (2009)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"67_CR27","first-page":"179","volume-title":"Proc. of ASPLOS 2010","author":"W. Zhang","year":"2010","unstructured":"Zhang, W., Sun, C., Lu, S.: Conmem: detecting severe concurrency bugs through an effect-oriented approach. In: Proc. of ASPLOS 2010, pp. 179\u2013192. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27549-4_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T04:34:52Z","timestamp":1556253292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27549-4_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642275487","9783642275494"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27549-4_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}