Search results for "memory leaks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Evan K. Maxwell, Godmar Back, Naren Ramakrishnan	Diagnosing memory leaks using graph mining on heap dumps.	KDD	2010	DBLP DOI BibTeX RDF	heap profiling, graph mining, graph grammars, memory leaks, dominator tree
3	Derek Rayside, Lucy Mendel	Object ownership profiling: a technique for finding and fixing memory leaks.	ASE	2007	DBLP DOI BibTeX RDF	object ownership, java, memory leaks
3	Huu Hai Nguyen, Martin C. Rinard	Detecting and eliminating memory leaks using cyclic memory allocation.	ISMM	2007	DBLP DOI BibTeX RDF	cyclic memory allocation, failure-oblivious computing, memory leaks
3	Brian Willard, Ophir Frieder	Autonomous Garbage Collection: Resolving Memory Leaks in Long Running Network Applications.	ICCCN	1998	DBLP DOI BibTeX RDF	heap storage, software performance degeneration, garbage collection, network communications, memory leaks, dynamic memory allocation
2	James A. Clause, Alessandro Orso	LEAKPOINT: pinpointing the causes of memory leaks.	ICSE	2010	DBLP DOI BibTeX RDF	leak detection, dynamic tainting
2	Gene Novark, Emery D. Berger, Benjamin G. Zorn	Efficiently and precisely locating memory leaks and bloat.	PLDI	2009	DBLP DOI BibTeX RDF	heap profiling, hound, memory leak detection, virtual compaction, dynamic memory allocation
2	Michael D. Bond, Kathryn S. McKinley	Tolerating memory leaks.	OOPSLA	2008	DBLP DOI BibTeX RDF	bug tolerance, memory leaks, managed languages
2	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	MSPC	2008	DBLP DOI BibTeX RDF	garbage collection, memory leaks, managed languages
2	Guoqing (Harry) Xu, Atanas Rountev	Precise memory leak detection for java software using container profiling.	ICSE	2008	DBLP DOI BibTeX RDF	container profiling, leaking confidence, memory leaks
2	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
2	Kung Chen, Ju-Bing Chen	Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Sigmund Cherem, Lonnie Princehouse, Radu Rugina	Practical memory leak detection using guarded value-flow analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static error detection, value-flow analysis, memory management, memory leaks
2	Maria Jump, Kathryn S. McKinley	Cork: dynamic memory leak detection for garbage-collected languages.	POPL	2007	DBLP DOI BibTeX RDF	memory leak detection, garbage collection, dynamic, runtime analysis, memory leaks
2	Michael D. Bond, Kathryn S. McKinley	Bell: bit-encoding online memory leak detection.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-overhead monitoring, memory leaks, probabilistic approaches, managed languages
2	David L. Heine, Monica S. Lam	Static detection of leaks in polymorphic containers.	ICSE	2006	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
2	Zakarya Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
2	Feng Qin, Shan Lu, Yuanyuan Zhou	SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.	HPCA	2005	DBLP DOI BibTeX RDF
2	Brian Hackett, Radu Rugina	Region-based shape analysis with tracked locations.	POPL	2005	DBLP DOI BibTeX RDF	static error detection, memory management, shape analysis, memory leaks
2	Yichen Xie, Alexander Aiken	Context- and path-sensitive memory leak detection.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	program analysis, memory management, error detection, boolean satisfiability, memory leaks
2	Nick Mitchell, Gary Sevitsky	LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications.	ECOOP	2003	DBLP DOI BibTeX RDF
2	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
2	Bernhard Scholz, Johann Blieberger, Thomas Fahringer	Symbolic Pointer Analysis for Detecting Memory Leaks.	PEPM	2000	DBLP DOI BibTeX RDF
2	Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv	Automatic Removal of Array Memory Leaks in Java.	CC	2000	DBLP DOI BibTeX RDF
2	Wim De Pauw, Gary Sevitsky	Visualizing Reference Patterns for Solving Memory Leaks in Java.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Atanas Rountev	LeakChaser: helping programmers narrow down causes of memory leaks.	PLDI	2011	DBLP DOI BibTeX RDF
1	Vladimir Sor, Satish Narayana Srirama	A Statistical Approach for Identifying Memory Leaks in Cloud Applications.	CLOSER	2011	DBLP BibTeX RDF
1	Jing Zhao, Yuliang Jin, Kishor S. Trivedi, Rivalino Matias	Injecting Memory Leaks to Accelerate Software Failures.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Maria Jump, Kathryn S. McKinley	Detecting memory leaks in managed languages with Cork.	Softw., Pract. Exper.	2010	DBLP DOI BibTeX RDF
1	Dino Distefano, Ivana Filipovic	Memory Leaks Detection in Java by Bi-abductive Inference.	FASE	2010	DBLP DOI BibTeX RDF
1	Xinsong Wu, Zhouyi Zhou, Yeping He, Hongliang Liang	Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework.	ISPEC	2009	DBLP DOI BibTeX RDF
1	Michael D. Bond, Kathryn S. McKinley	Leak pruning.	ASPLOS	2009	DBLP DOI BibTeX RDF	leak tolerance, garbage collection, memory leaks, managed languages
1	Pranith D. Kumar, Anchal Nema, Rajeev Kumar	Hybrid analysis of executables to detect security vulnerabilities: security vulnerabilities.	ISEC	2009	DBLP DOI BibTeX RDF	hybrid analysis, instrumentation, slicing, security vulnerabilities, memory errors
1	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	PLDI	2009	DBLP DOI BibTeX RDF	heap properties, garbage collection, dynamic analysis
1	Kohei Suenaga, Naoki Kobayashi	Fractional Ownerships for Safe Memory Deallocation.	APLAS	2009	DBLP DOI BibTeX RDF
1	Binge Cui, Xin Chen, Pingjian Song, Rongjie Liu	An Extensible Scientific Computing Resources Integration Framework Based on Grid Service.	CDVE	2009	DBLP DOI BibTeX RDF	Legacy Application Encapsulation, Class Pool, Reflection, Grid Service, Integration Framework
1	Josh Berdine	Automatic Verification of Heap Manipulation Using Separation Logic.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Vladimir Nikolov, Rüdiger Kapitza, Franz J. Hauck	Recoverable Class Loaders for a Fast Restart of Java Applications.	MONET	2009	DBLP DOI BibTeX RDF	Java, OSGi, snapshot, overhead, start-up
1	Yan Tang, Qi Gao, Feng Qin	LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages.	USENIX Annual Technical Conference	2008	DBLP BibTeX RDF
1	Kiev Gama, Didier Donsez	A Practical Approach for Finding Stale References in a Dynamic Service Platform.	CBSE	2008	DBLP DOI BibTeX RDF	stale references, dynamic services, runtime diagnostics, component validation, OSGi, memory leaks
1	Vladimir Nikolov, Rüdiger Kapitza	Recoverable class loaders for a fast restart of Java applications.	MOBILWARE	2008	DBLP DOI BibTeX RDF
1	Krzysztof Rogoz, Tomasz Padlo	The Role of Stability Testing in Heterogeneous Application Environment.	ICST	2008	DBLP DOI BibTeX RDF	Stability Testing, Performance, memory leak, Solaris
1	Artur Andrzejak, Luís Moura Silva	Using machine learning for non-intrusive modeling and prediction of software aging.	NOMS	2008	DBLP DOI BibTeX RDF
1	Zhongxing Xu, Jian Zhang 0001	Path and Context Sensitive Inter-procedural Memory Leak Detection.	QSIC	2008	DBLP DOI BibTeX RDF	path feasibility, memory leak, bug finding
1	Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua	Automated verification of pointer programs in pointer logic.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	pointer logic, alias analysis, software safety, automated verification
1	Maayan Goldstein, Onn Shehory, Yaron Weinsberg	Can self-healing software cope with loitering?	SOQUA	2007	DBLP DOI BibTeX RDF	self-*, autonomic computing, self-healing, systems management, performance management
1	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
1	Javier Alonso, Luís Moura Silva, Artur Andrzejak, Paulo Silva, Jordi Torres	High-available grid services through the use of virtualized clustering.	GRID	2007	DBLP DOI BibTeX RDF
1	Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok	Model Predictive Control for Memory Profiling.	IPDPS	2007	DBLP DOI BibTeX RDF
1	C. Y. Ho, W. Y. Lo, Anthony S. Fong	Memory Garbage Collection for an Object-Oriented Processor.	ITNG	2007	DBLP DOI BibTeX RDF
1	Guillaume Salagnac, Christophe Rippert, Sergio Yovine	Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Javier Alonso, Jordi Torres, Luís Moura Silva, Paulo Silva	Dependable Grid Services: A Case Study with OGSA-DAI.	CoreGRID	2007	DBLP DOI BibTeX RDF
1	Hendrik Post, Wolfgang Küchlin	Integrated Static Analysis for Linux Device Driver Verification.	IFM	2007	DBLP DOI BibTeX RDF
1	Jongmoo Choi, Seungjae Baek, Sung Y. Shin	Design and implementation of a kernel resource protector for robustness of Linux module programming.	SAC	2006	DBLP DOI BibTeX RDF	loadable module, reclaim, resource protector, slab allocator, fault tolerance, robustness, memory leak, linux kernel
1	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
1	Timothy Tsai, Kalyan Vaidyanathan, Kenny C. Gross	Low-Overhead Run-Time Memory Leak Detection and Recovery.	PRDC	2006	DBLP DOI BibTeX RDF
1	Piotr Kolaczkowski, Ilona Bluemke	A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications.	SET	2006	DBLP DOI BibTeX RDF
1	Maksim Orlovich, Radu Rugina	Memory Leak Analysis by Contradiction.	SAS	2006	DBLP DOI BibTeX RDF
1	Chen Ding, Chengliang Zhang, Xipeng Shen, Mitsunori Ogihara	Gated memory control for memory monitoring, leak detection and garbage collection.	Memory System Performance	2005	DBLP DOI BibTeX RDF	memory usage monitoring, object life, preventive memory management, memory leak, program phase
1	Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu, Josep Torrellas	Efficient and flexible architectural support for dynamic monitoring.	TACO	2005	DBLP DOI BibTeX RDF	dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support
1	Donald J. Berndt, Alison Watkins	High Volume Software Testing using Genetic Algorithms.	HICSS	2005	DBLP DOI BibTeX RDF
1	Krishna Raman, Yue Zhang 0001, Mark Panahi, Juan A. Colmenares, Raymond Klefstad	Patterns and Tools for Achieving Predictability and Performance with Real-Time Java.	RTCSA	2005	DBLP DOI BibTeX RDF
1	David G. Richardson, Werner Krandick	Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.	CASC	2005	DBLP DOI BibTeX RDF
1	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.	ESOP	2005	DBLP DOI BibTeX RDF
1	Matthias Hauswirth, Trishul M. Chilimbi	Low-overhead memory leak detection using adaptive statistical profiling.	ASPLOS	2004	DBLP DOI BibTeX RDF	low-overhead monitoring, runtime analysis, memory leaks
1	Heikki Verta, Titos Saridakis	Detection of Heap Management Flaws in Component-Based Software.	EUROMICRO	2004	DBLP DOI BibTeX RDF
1	Jon Heffley, Pascal Meunier	Can Source Code Auditing Software Identify Common Vulnerabilities and Be Used to Evaluate Software Security?	HICSS	2004	DBLP DOI BibTeX RDF
1	Xiangrong Wang, Jun Xu, Christopher H. Pham	An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior.	ISSRE	2004	DBLP DOI BibTeX RDF
1	Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard	Ownership types for safe region-based memory management in real-time Java.	PLDI	2003	DBLP DOI BibTeX RDF	real-time, encapsulation, regions, ownership types
1	Andrew Borg, Andy J. Wellings	A Real-Time RMI Framework for the RTSJ.	ECRTS	2003	DBLP DOI BibTeX RDF
1	Chia-Tien Dan Lo	The Design of a Self-Maintained Memory Module for Real-Time Systems.	IWSOC	2003	DBLP DOI BibTeX RDF	Copying Collection, Real-Time, Garbage Collection, Dynamic Memory Management
1	Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers	Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
1	Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley	Reconsidering custom memory allocation.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Michael D. Beynon, Henrique Andrade, Joel H. Saltz	Low-Cost Non-Intrusive Debugging Strategies for Distributed Parallel Programs.	CLUSTER	2002	DBLP DOI BibTeX RDF
1	Noam Rinetzky, Shmuel Sagiv	Interprocedural Shape Analysis for Recursive Programs.	CC	2001	DBLP DOI BibTeX RDF
1	Wim De Pauw, Gary Sevitsky	Visualizing reference patterns for solving memory leaks in Java.	Concurrency - Practice and Experience	2000	DBLP DOI BibTeX RDF
1	Brian Willard, Ophir Frieder	Autonomous garbage collection: resolving memory leaks in long-running server applications.	Computer Communications	2000	DBLP DOI BibTeX RDF
1	Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth	Checkmate: cornering C++ dynamic memory errors with checked pointers.	SIGCSE	2000	DBLP DOI BibTeX RDF	C++
1	Mark Harman, Yoga Sivagurunathan, Sebastian Danicic	Analysis of Dynamic Memory Access Using Amorphous Slicing. (PDF / PS)	ICSM	1998	DBLP DOI BibTeX RDF
1	David Evans	Static Detection of Dynamic Memory Errors.	PLDI	1996	DBLP DOI BibTeX RDF
1	Steven J. Beaty	A technique for tracing memory leaks in C++.	OOPS Messenger	1994	DBLP DOI BibTeX RDF