{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T20:15:46Z","timestamp":1781727346586,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540326045","type":"print"},{"value":"9783540326052","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_14","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T13:03:26Z","timestamp":1141304606000},"page":"191-207","source":"Crossref","is-referenced-by-count":37,"title":["Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring"],"prefix":"10.1007","author":[{"given":"Rahul","family":"Agarwal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-24622-0_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Agarwal","year":"2004","unstructured":"Agarwal, R., Stoller, S.D.: Type inference for parameterized race-free Java. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 149\u2013160. Springer, Heidelberg (2004)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Sasturkar, A., Stoller, S.D.: Type discovery for parameterized race-free Java. Technical Report DAR-04-16, Computer Science Department, SUNY at Stony Brook (September 2004)","DOI":"10.1007\/978-3-540-24622-0_14"},{"key":"14_CR3","volume-title":"Proc. 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"R. Agarwal","year":"2005","unstructured":"Agarwal, R., Sasturkar, A., Wang, L., Stoller, S.D.: Optimized run-time race detection and atomicity checking using partial discovered types. In: Proc. 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE), November 2005. ACM Press, New York (2005)"},{"key":"14_CR4","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and runtime monitoring. Technical Report DAR-05-25, Computer Science Department, SUNY at Stony Brook (September 2005), Available at, http:\/\/www.cs.sunysb.edu\/-ragarwal\/deadlock\/"},{"key":"14_CR5","volume-title":"Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference","author":"S. Bensalem","year":"2005","unstructured":"Bensalem, S., Havelund, K.: Scalable deadlock analysis of multithreaded programs. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer, Heidelberg (2005)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pp. 211\u2013230, November 2002 (2002)","DOI":"10.1145\/582419.582440"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/504282.504287","volume-title":"Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA). SIGPLAN Notices","author":"C. Boyapati","year":"2001","unstructured":"Boyapati, C., Rinard, M.C.: A parameterized type system for race-free Java programs. In: Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA). SIGPLAN Notices, vol.\u00a036(11), pp. 56\u201369. ACM Press, New York (2001)"},{"key":"14_CR8","first-page":"258","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","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: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 258\u2013269. ACM Press, New York (2002)"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proc. 24th ACM Symposium on Operating System Principles","author":"D.R. Engler","year":"2003","unstructured":"Engler, D.R., Ashcraft., K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Proc. 24th ACM Symposium on Operating System Principles, pp. 237\u2013252. ACM Press, New York (2003)"},{"issue":"3-5","key":"14_CR10","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/cpe.654","volume":"15","author":"O. Edelstein","year":"2003","unstructured":"Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience\u00a015(3-5), 485\u2013499 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"14_CR11","first-page":"219","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.: Type-based race detection for Java. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 219\u2013232. ACM Press, New York (2000)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-27864-1_11","volume-title":"Static Analysis","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.: Type inference against races. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 116\u2013132. Springer, Heidelberg (2004)"},{"key":"14_CR13","unstructured":"Farchi, E., Nir-Buchbinder, Y., Ur, S.: Cross-run lock discipline checker for java. In: Tool proposal for IBM Verification Conference (2005)"},{"key":"14_CR14","first-page":"338","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 338\u2013349. ACM Press, New York (2003)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/10722468_20","volume-title":"SPIN Model Checking and Software Verification","author":"J.J. Harrow","year":"2000","unstructured":"Harrow, J.J.: Runtime checking of multithreaded applications with Visual Threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 331\u2013342. Springer, Heidelberg (2000)"},{"key":"14_CR16","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":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-24622-0_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Hatcliff","year":"2004","unstructured":"Hatcliff, J., Robby, Dwyer, M.B.: Verifying atomicity specifications for concurrent object-oriented software using model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 175\u2013190. Springer, Heidelberg (2004)"},{"issue":"12","key":"14_CR18","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. Communications of the ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Communications of the ACM"},{"key":"14_CR19","volume-title":"Proc. ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"A. Sasturkar","year":"2005","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: Proc. ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, New York (2005)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"von Praun, C.: Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs. PhD thesis, ETH Z\u00fcrich (2004)","DOI":"10.1145\/780822.781145"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/504282.504288","volume-title":"Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), SIGPLAN Notices","author":"C. Praun von","year":"2001","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), SIGPLAN Notices, vol.\u00a036(11), pp. 70\u201382. ACM Press, New York (2001)"},{"key":"14_CR22","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: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 602\u2013629. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,24]],"date-time":"2021-07-24T12:48:37Z","timestamp":1627130917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11678779_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}