{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:37:40Z","timestamp":1725831460569},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319240114"},{"type":"electronic","value":"9783319240121"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24012-1_8","type":"book-chapter","created":{"date-parts":[[2015,10,6]],"date-time":"2015-10-06T18:01:22Z","timestamp":1444154482000},"page":"96-111","source":"Crossref","is-referenced-by-count":0,"title":["Deadlocks as Runtime Exceptions"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Lobo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Castor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Lu, S., et al.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ACM Sigplan Notices, vol. 43, no. 3. ACM (2008)","key":"8_CR1","DOI":"10.1145\/1353536.1346323"},{"issue":"11","key":"8_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M Singhal","year":"1989","unstructured":"Singhal, M.: Deadlock detection in distributed systems. Computer 22(11), 37\u201348 (1989)","journal-title":"Computer"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E Knapp","year":"1987","unstructured":"Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys (CSUR) 19(4), 303\u2013328 (1987)","journal-title":"ACM Computing Surveys (CSUR)"},{"doi-asserted-by":"crossref","unstructured":"Marino, D., et al.: Detecting deadlock in programs with data-centric synchronization. In: 2013 35th International Conference on Software Engineering (ICSE). IEEE (2013)","key":"8_CR4","DOI":"10.1109\/ICSE.2013.6606578"},{"doi-asserted-by":"crossref","unstructured":"Marlow, S.: Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming. O\u2019Reilly, Aug 2013","key":"8_CR5","DOI":"10.1007\/978-3-642-32096-5_7"},{"unstructured":"Aimonetti, M.: Go Bootcamp: Chap. 8 - Concurrency. http:\/\/www.golangbootcamp.com\/book\/concurrency","key":"8_CR6"},{"issue":"5","key":"8_CR7","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. 37(5), 237\u2013252 (2003)","journal-title":"SIGOPS Oper. Syst. Rev."},{"doi-asserted-by":"crossref","unstructured":"Shanbhag, V.K.: Deadlock-detection in java-library using static-analysis. In: Asia-PacificSoftware Engineering Conference, pp. 361\u2013368 (2008)","key":"8_CR8","DOI":"10.1109\/APSEC.2008.68"},{"key":"8_CR9","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., Awasthi, P.: Static deadlock detection for java libraries. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 602\u2013629. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Da Luo, Z., Das, R., Qi, Y.: Multicore sdk: a practical and efficient deadlock detector for real-world applications. In: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST). IEEE (2011)","key":"8_CR10","DOI":"10.1109\/ICST.2011.22"},{"doi-asserted-by":"crossref","unstructured":"Cai, Y., Chan, W.K.: MagicFuzzer: scalable deadlock detection for large-scale applications. In: Proceedings of the 2012 International Conference on Software Engineering. IEEE Press (2012)","key":"8_CR11","DOI":"10.1109\/ICSE.2012.6227156"},{"doi-asserted-by":"crossref","unstructured":"Pyla, H.K., Varadarajan, S.: Avoiding deadlock avoidance. In: Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques. ACM (2010)","key":"8_CR12","DOI":"10.1145\/1854273.1854288"},{"doi-asserted-by":"crossref","unstructured":"Pyla, H.K., Varadarajan, S.: Transparent runtime deadlock elimination. In: Proceedings of the 21st International Conference on Parallel Architectures and Compilation Techniques, PACT 2012, pp. 477\u2013478. ACM, New York (2012)","key":"8_CR13","DOI":"10.1145\/2370816.2370905"},{"unstructured":"Pyla, H.K.: Safe Concurrent Programming and Execution (2013)","key":"8_CR14"},{"doi-asserted-by":"crossref","unstructured":"Biswas, S., et al.: Efficient, Software-Only Data Race Exceptions (2015)","key":"8_CR15","DOI":"10.1145\/2814270.2814292"},{"doi-asserted-by":"crossref","unstructured":"Qin, F., Tucek, J., Zhou, Y., Sundaresan, J.: Rx: Treating bugs as allergies\u2013a safe method to survive software failures. ACM Trans. Comput. Syst., 25(3), August 2007","key":"8_CR16","DOI":"10.1145\/1275517.1275519"},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking java programs using java pathfinder. Int. J. Softw. Tools Technol. Transf. 2(4), 366\u2013381 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"unstructured":"Java\u2019s ReentrantLock with DeadlockException. https:\/\/github.com\/rafaelbrandao\/java-lock-deadlock-exception","key":"8_CR18"},{"unstructured":"Eclipe\u2019s OrderedLock class description. Documentation http:\/\/cct.lsu.edu\/ rguidry\/ecl31docs\/api\/org\/eclipse\/core\/internal\/jobs\/OrderedLock.html","key":"8_CR19"},{"unstructured":"Sanchez, I: Latin Squares and its applications on software engineering. Master\u2019s thesis, Federal University of Pernambuco, Recife, Brazil (2011)","key":"8_CR20"},{"doi-asserted-by":"crossref","unstructured":"Accioly, P.: Comparing different testing strategies for software product lines. Master\u2019s thesis, Federal University of Pernambuco, Recife, Brazil (2012)","key":"8_CR21","DOI":"10.1109\/SBCARS.2012.17"},{"unstructured":"Runeson, P.: Using students as experiement subjects - an analysis on graduate and freshmen student data. In: Proceedings of the 7th International Conference on Empirical Assessment in Software Engineering. Keele University, UK, pp. 95\u2013102 (2003)","key":"8_CR22"},{"doi-asserted-by":"crossref","unstructured":"Staron, M.: Using students as subjects in experiments - a quantitative analysis of the influence of experimentation on students\u2019 learning process. In: CSEE & T, pp. 221\u2013228. IEEE Computer Society (2007)","key":"8_CR23","DOI":"10.1109\/CSEET.2007.56"},{"unstructured":"Box, G.E.P., Hunter, J.S., Hunter, W.G.: Statistics for Experimenters: Design, Innovation, and Discovery. Wiley-Interscience (2005)","key":"8_CR24"},{"doi-asserted-by":"crossref","unstructured":"Agresti, A.: A survey of exact inference for contingency tables. Statistical Science, pp. 131\u2013153 (1992)","key":"8_CR25","DOI":"10.1214\/ss\/1177011454"},{"unstructured":"Lozi, J.-P., David, F., Thomas, G., Lawall, J., Muller, G.: Remote core locking: migrating critical-section execution to improve the performance of multithreaded applications. In: Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC 2012), Berkeley, CA, USA (2012)","key":"8_CR26"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24012-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T18:53:50Z","timestamp":1653245630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24012-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240114","9783319240121"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24012-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}