The CLOSER: Automating resource management in Java

International Symposium on Memory Management, ISMM

Volumn , Issue , 2008, Pages 1-10

  Dillig, Isil ^a   Dillig, Thomas ^a   Yahav, Eran ^b   Chandra, Satish ^b  

^a Stanford University

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Higher level resource; Interest reachability; Logical liveness; Resource interest graph; Resource management

Indexed keywords

HIGHER-LEVEL RESOURCE; INTEREST REACHABILITY; LOGICAL LIVENESS; RESOURCE INTEREST GRAPH; RESOURCE MANAGEMENT;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; INFORMATION MANAGEMENT; JAVA PROGRAMMING LANGUAGE; KNOWLEDGE MANAGEMENT; NATURAL RESOURCES MANAGEMENT; REFUSE COLLECTION; REFUSE DISPOSAL; RESOURCE ALLOCATION; WASTE DISPOSAL;

MANAGEMENT;

EID: 57349097634     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375634.1375636     Document Type: Conference Paper

References (24)

1. http://help.eclipse.org/help33/index.jsp?topic/org.eclipse.platform.doc, isv/whatsNew/platform-isv-whatsnew.html. See section titled SWT graphics showcase.
2. Bug reports for Eclipse projects. See bugs.eclipse.org/bugs.
3. Eclipse Java Development Tools. Seewww.eclipse.org.
4. The using statement. See C# Language Specification, msdn.microsoft.com
5. Watson Libraries for Program Analysis (WALA). Available at wala.sf.net.
6. ALDRICH, J., KOSTADINOV, V., AND CHAMBERS, C. Alias annotations for program understanding. In OOPSLA '02: Proceedings of the 17th ACM SJGPLAN conference on Object-oriented programming, systems, languages, and applications (New York, NY, USA, 2002), ACM, pp. 311-330.
7. ALEXANDER AIKEN, M. F., AND LEVIEN, R. Better static memory management: Improving region-based analysis of higher-order languages. In Proc. ACM Conf. on Programming Language Design and Implementation (June 1995).
8. ALLAN, C, AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L., KUZINS, S., LHOTÁK, O., DE MOOR, O., SERENI, D., SLTTAMPALAM, G., AND TLBBLE, J. Adding trace matching with free variables to aspectj. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (New York, NY. USA, 2005), ACM, pp. 345-364.
9. tm. In OOPSLA (Denver, 1998).
10. BOEHM, H. Destructors, finalizers, and synchronization. ACM SIGPLAN Notices 38, 1 (2003), 262-272.
11. CHEN, R. AND ROŞU, G. MOP: An Efficient and Generic Runtime Verification Framework. In Object-Oriented Programming, Systems, Languages and Applications(OOPSLA'07) (2007).
12. CHEREM, S., AND RUGINA, R. Compile-time deallocation of individual objects. In ISMM '06: Proceedings of the 2006 international symposium on Memory management (New York, NY, USA, 2006), ACM Press, pp. 138-149.
13. DELLNE, R., AND FAHNDRICH, M. Enforcing high-level protocols in low-level software. In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (New York, NY, USA, 2001), ACM Press, pp. 59-69.
14. DELINE, R., AND FAHNDRICH, M. Adoption and focus: Practical linear types for imperative programming. In Proc. ACM Conf. on Programming Language Design and Implementation (Berlin, June 2002), pp. 13-24.
15. FINK, S., YAHAV, E., DOR, N., RAMALINGAM, G., AND GEAY, E. Effective typestate verification in the presence of aliasing. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (New York, NY, USA, 2006), ACM Press, pp. 133-144.
16. FOSTER, J. S., TERAUCHL, T., AND AIKEN, A. Flow-sensitive type qualifiers. In Proc. ACM Conf. on Programming Language Design and Implementation (Berlin, June 2002), pp. 1-12.
17. GUYER, S., MCKINLEY, K., AND FRAMPTON, D. Free-Me: a static analysis for automatic individual object reclamation. Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), 364-375.
18. |18| HALLENBERG, N., ELSMAN, M., AND TOFTE, M. Combining region inference and garbage collection. In Proc. ACM Conf. on Programming Language Design and Implementation (Berlin, 2002), pp. 141-152.
19. HEINE, D. L., AND LAM, M. S. A practical flow-sensitive and context-sensitive c and c++ memory leak detector. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (New York, NY, USA, 2003), ACM, pp. 168-181.
20. LIVSHITS, V. B. Turning Eclipse against itself: Finding bugs in Eclipse code using lightweight static analysis. Eclipsecon '05 Research Exchange, Mar. 2005.
21. SHAHAM, R., KOLODNER. E. K., AND SAGIV. M. Heap profiling for space-efficient Java. In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (New York, NY, USA, 2001), ACM Press, pp. 104-113.
22. SHAHAM, R., YAHAV, E., KOLODNER, E. K., AND SAGIV, S. Establishing local temporal heap safety properties with applications to compile-time memory management. In SAS (2003), R. Cousot, Ed., vol. 2694 of Lecture Notes in Computer Science, Springer, pp. 483-503.
23. TOFTE, M., AND TALPIN, J.-P. Implementation of the typed call-by-value lambda-calculus using a stack of regions. In Proc. ACM Symp. on Principles of Programming Languages (1996), pp. 188-201.
24. WEIMER, W., and NECULA, G. Finding and preventing runtime error handling mistakes. Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications (2004), 419-431.