{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:51:48Z","timestamp":1773773508061,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540279921","type":"print"},{"value":"9783540317258","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_26","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"602-629","source":"Crossref","is-referenced-by-count":86,"title":["Static Deadlock Detection for Java Libraries"],"prefix":"10.1007","author":[{"given":"Amy","family":"Williams","sequence":"first","affiliation":[]},{"given":"William","family":"Thies","sequence":"additional","affiliation":[]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded Java programs. In: ASWEC, pp. 68\u201375 (2001)","DOI":"10.1109\/ASWEC.2001.948499"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA, pp. 211\u2013230 (2002)","DOI":"10.1145\/582419.582440"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Breuer, P.T., Garcia-Valls, M.: Static deadlock detection in the Linux kernel. In: Ada-Europe, pp. 52\u201364 (2004)","DOI":"10.1007\/978-3-540-24841-5_4"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.: Automated, compositional and iterative deadlock detection. In: MEMOCODE (2004)","DOI":"10.1109\/MEMCOD.2004.1459856"},{"key":"26_CR5","first-page":"388","volume":"30","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE TSE\u00a030, 388\u2013402 (2004)","journal-title":"IEEE TSE"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: PLDI (1990)","DOI":"10.1145\/93542.93585"},{"key":"26_CR7","first-page":"161","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. IEEE TSE\u00a022, 161\u2013180 (1996)","journal-title":"IEEE TSE"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1002\/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V","volume":"29","author":"C. Demartini","year":"1999","unstructured":"Demartini, C., Iosif, R., Sisto, R.: A deadlock detection tool for concurrent Java programs. Software: Practice and Experience\u00a029, 577\u2013603 (1999)","journal-title":"Software: Practice and Experience"},{"key":"26_CR9","unstructured":"DMS Decision Management Systems GmbH: The Kopi Project (2004), http:\/\/www.dms.at\/kopi\/"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: SOSP, pp. 237\u2013252 (2003)","DOI":"10.1145\/1165389.945468"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: POPL, pp. 338\u2013349 (2003)","DOI":"10.1145\/781131.781169"},{"key":"26_CR12","unstructured":"Friedman-Hill, E.: Jess, the Java expert system shell (2004), http:\/\/herzberg.ca.sandia.gov\/jess\/"},{"key":"26_CR13","doi-asserted-by":"crossref","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. STTT\u00a02, 366\u2013381 (2000)","journal-title":"STTT"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of Java programs. In: SPIN, pp. 245\u2013264 (2000)","DOI":"10.1007\/10722468_15"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java programs with Java PathExplorer. In: RV. (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"26_CR16","unstructured":"INRIA: Proactive (2004), http:\/\/www-sop.inria.fr\/oasis\/ProActive\/"},{"key":"26_CR17","unstructured":"Knizhnik, K., Artho, C.: Jlint (2005), http:\/\/jlint.sourceforge.net\/"},{"key":"26_CR18","unstructured":"Li, T., Ellis, C.S., Lebeck, A.R., Sorin, D.J.: Pulse: A dynamic deadlock detection mechanism using speculative execution. In: USENIX Technical Conference, pp. 31\u201344 (2005)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Masticola, S.P., Ryder, B.G.: A model of Ada programs for static deadlock detection in polynomial time. In: Workshop on Parallel and Distributed Debugging (1991)","DOI":"10.1145\/122759.122768"},{"key":"26_CR20","unstructured":"San Diego State University: SDSU Java library (2004), http:\/\/www.eli.sdsu.edu\/java-SDSU\/"},{"key":"26_CR21","unstructured":"Shih, C.S., Stankovic, J.A.: Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems. Technical report, UMass UM-CS-1990-069 (1990)"},{"key":"26_CR22","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Singhal","year":"1989","unstructured":"Singhal, M.: Deadlock detection in distributed systems. IEEE Computer\u00a022, 37\u201348 (1989)","journal-title":"IEEE Computer"},{"key":"26_CR23","unstructured":"Sun Microsystems, Inc.: Java Development Kit (2004), http:\/\/java.sun.com\/"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"von Praun, C.: Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, Swiss Federal Institute of Technology, Zurich (2004)","DOI":"10.1145\/780822.781145"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection in Java libraries. Research Abstract #102, MIT Computer Science and Artificial Intelligence Laboratory (February 2004)","DOI":"10.1007\/11531142_26"},{"key":"26_CR26","doi-asserted-by":"crossref","unstructured":"Williams, A.L.: Static detection of deadlock for Java libraries. Master\u2019s thesis, MIT Dept. of EECS (2005)","DOI":"10.1007\/11531142_26"},{"key":"26_CR27","unstructured":"Zeng, F.: Deadlock resolution via exceptions for dependable Java applications. In: DSN, pp. 731\u2013740 (2003)"},{"key":"26_CR28","unstructured":"Zeng, F., Martin, R.P.: Ghost locks: Deadlock prevention for Java. In: MASPLAS (2004)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T23:57:45Z","timestamp":1740787065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11531142_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}