{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:34:59Z","timestamp":1773192899188,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540405313","type":"print"},{"value":"9783540450702","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45070-2_16","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T21:23:52Z","timestamp":1289251432000},"page":"351-377","source":"Crossref","is-referenced-by-count":61,"title":["LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications"],"prefix":"10.1007","author":[{"given":"Nick","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary","family":"Sevitsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Agesen, O., Detlefs, D., Moss, J.E.B.: Garbage collection and local variable type-precision and liveness in Java virtual machines. In: Programming Language Design and Implementation (1998)","DOI":"10.1145\/277650.277738"},{"key":"16_CR2","unstructured":"Appel, J.K.A.W.: Traversal-based visualization of data structures. In: Symposium on Information Visualization, pp. 11\u201318 (1998)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Barach, D.R., Taenzer, D.H., Wells, R.E.: A technique for finding storage allocation errors in c-langage programs. ACM SIGPLAN Notices 17(5) (May 1982)","DOI":"10.1145\/947923.947925"},{"key":"16_CR4","unstructured":"Borland software corporation optimizeit TM"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: Object-oriented programming, systems, languages, and applications (2002)","DOI":"10.1145\/582419.582440"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, D., Noble, J., Potter, J.: Simple ownership types for object containment. In: European Conference on Object-Oriented Programming (2001)","DOI":"10.1007\/3-540-45337-7_4"},{"key":"16_CR7","first-page":"41","volume":"2","author":"J.S. Dong","year":"1995","unstructured":"Dong, J.S., Duke, R.: The geometry of object containment. Object-oriented Systems\u00a02, 41\u201363 (1995)","journal-title":"Object-oriented Systems"},{"key":"16_CR8","unstructured":"Ernst, M., Griswold, W.G., Kataoka, Y., Notkin, D.: Dynamically discovering pointer-based program invariants. In: International Conference on Software Engineering (1999)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: International Conference on Software Engineering (May 2002)","DOI":"10.1145\/581376.581377"},{"key":"16_CR10","unstructured":"The Glasgow Haskell compiler user\u2019s guide, http:\/\/haskell.cs.yale.edu\/ghc"},{"key":"16_CR11","unstructured":"Hastings, R., Joynce, B.: Purify \u2014 fast detection of memory leaks and access errors. In: USENIX Proceedings, pp. 125\u2013136 (1992)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Hayes, B.: Using key object opportunism to collect old objects. In: Object-oriented programming, systems, languages, and applications (1991)","DOI":"10.1145\/117954.117957"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Diwan, A., Hosking, A.: On the usefulness of liveness for garbage collection and leak detection. In: European Conference on Object-Oriented Programming (2001)","DOI":"10.1007\/3-540-45337-7_11"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Hinkel, J., Diwan, A., Hind, M.: Understanding the connectivity of heap objects. In: International Symposium on Memory Management (2002)","DOI":"10.1145\/512429.512435"},{"key":"16_CR15","unstructured":"http:\/\/java.sun.com\/products\/jdk\/1.2\/docs\/guide\/jvmpi\/jvmpi.html"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Lencevicius, R.: On-the-fly query-based debugging with examples. In: Automated and Algorithmic Debugging (2000)","DOI":"10.1007\/978-1-4419-8774-7_3"},{"key":"16_CR17","volume-title":"Advanced Compiler Design and Implemtnation","author":"S.S. Muchnik","year":"1997","unstructured":"Muchnik, S.S.: Advanced Compiler Design and Implemtnation. Morgan Kaufmann, San Francisco (1997)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-45875-1_12","volume-title":"Software Visualization","author":"W.D. Pauw","year":"2002","unstructured":"Pauw, W.D., Jensen, E., Mitchell, N., Sevitsky, G., Vlissides, J., Yang, J.: Visualizing the execution of Java programs. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, p. 151. Springer, Heidelberg (2002)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1002\/1096-9128(20001210)12:14<1431::AID-CPE542>3.0.CO;2-2","volume":"12","author":"W.D. Pauw","year":"2000","unstructured":"Pauw, W.D., Sevitsky, G.: Visualizing reference patterns for solving memory leaks in Java. Concurrency: Practice and Experience\u00a012, 1431\u20131454 (2000); Previously appeared in ECOOP 1999","journal-title":"Concurrency: Practice and Experience"},{"issue":"5","key":"16_CR20","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/570886.570887","volume":"24","author":"G. Ramalingam","year":"2002","unstructured":"Ramalingam, G.: On loops, dominators, and dominance frontiers. ACM Transactions on Programming Languages and Systems\u00a024(5), 455\u2013490 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR21","unstructured":"Rational software corporation quantify TM"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Rojemo, N., Runciman, C.: Lag, drag, void and use \u2014 heap profiling and space-efficient compilation revisited. In: International Conference on Functional Programming, pp. 34\u201341 (1996)","DOI":"10.1145\/232627.232633"},{"issue":"4","key":"16_CR23","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1017\/S095679680000188X","volume":"6","author":"C. Runciman","year":"1996","unstructured":"Runciman, C., Rojemo, N.: New dimensions in heap profiling. Journal of Functional Programming\u00a06(4), 587\u2013620 (1996)","journal-title":"Journal of Functional Programming"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Shaham, R., Kolodner, E.K., Sagiv, M.: Automatic removal of array memory leaks in java. In: Computational Complexity, pp. 50\u201366 (2000)","DOI":"10.1007\/3-540-46423-9_4"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Shaham, R., Kolodner, E.K., Sagiv, M.: Estimating the impact of heap liveness information on space consumption in Java. In: International Symposium on Memory Management (June 2002)","DOI":"10.1145\/512429.512437"},{"key":"16_CR26","unstructured":"Sitraka Inc. JProbe TM Profiler with Memory Debugger ServerSide Suite"},{"key":"16_CR27","unstructured":"Heap Analysis Tool, http:\/\/java.sun.com\/people\/billf\/heap"},{"key":"16_CR28","unstructured":"Java 2 Platform, Enterprise Edition, http:\/\/java.sun.com\/j2ee"},{"key":"16_CR29","unstructured":"Sun Microsystems HPROF JVM profiler"},{"key":"16_CR30","volume-title":"Java TM Platform Performance Strategies and Tactics","author":"S. Wilson","year":"2000","unstructured":"Wilson, S., Kesselmann, J.: Java TM Platform Performance Strategies and Tactics. Addison-Wesley, Reading (2000)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2003 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45070-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T04:15:59Z","timestamp":1559794559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45070-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405313","9783540450702"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45070-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}