Parametric inference of memory requirements for garbage collected languages

International Symposium on Memory Management, ISMM

Volumn , Issue , 2010, Pages 121-130

  Albert, Elvira ^a   Genaim, Samir ^a   Gómez Zamalloa, Miguel ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

garbage collection; java bytecode; live heap space analysis; low level languages; peak memory consumption

Indexed keywords

GARBAGE COLLECTION; JAVA BYTE CODES; LOW-LEVEL LANGUAGE; MEMORY CONSUMPTION; SPACE ANALYSIS;

COMPUTER SOFTWARE; LINGUISTICS; REFUSE COLLECTION; SOFTWARE DESIGN; WASTE DISPOSAL;

JAVA PROGRAMMING LANGUAGE;

EID: 77954733872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806651.1806671     Document Type: Conference Paper

References (24)

1. E. Albert, P. Arenas, S. Genaim, G. Puebla, and D. Zanardini. Cost Analysis of Java Bytecode. In Rocco De Nicola, editor, 16th European Symposium on Programming, ESOP'07, volume 4421 of Lecture Notes in Computer Science, pages 157-172. Springer, March 2007.
2. E. Albert, S. Genaim, and M. Gómez-Zamalloa. Heap Space Analysis for Java Bytecode. In Proceedings of the 6th International Symposium on Memory Management (ISMM'07), pages 105-116, New York, NY, USA, October 2007. ACM Press.
3. E. Albert, S. Genaim, and M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. In 8th international symposium on Memory management, pages 129-138, New York, NY, USA, June 2009. ACM Press.
4. Elvira Albert, Puri Arenas, Samir Genaim, and German Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. In María Alpuente and Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 15-17, 2008, Proceedings, volume 5079 of Lecture Notes in Computer Science, pages 221-237. Springer-Verlag, July 2008.
5. H. Boehm. An artificial garbage collection benchmark. http://www.hpl.hp.com/personal/Hans-Boehm/gc/gc-bench.html.
6. V. Braberman, F. Fernández, D. Garbervetsky, and S. Yovine. Parametric Prediction of Heap Memory Requirements. In ISMM. ACM Press, 2008.
7. V. Braberman, D. Garbervetsky, and S. Yovine. A static analysis for synthesizing parametric specifications of dynamic memory consumption. Journal of Object Technology, 5(5):31-58, 2006.
8. Brendon Cahoon and Kathryn S. McKinley. Data flow analysis for software prefetching linked data structures in Java. In IEEE PACT, pages 280-291, 2001.
9. S. Cherem and R. Rugina. Region analysis and transformation for java programs. In ISMM, pages 85-96. ACM Press, 2004.
10. W.-N. Chin, H. H. Nguyen, S. Qin, and M. C. Rinard. Memory Usage Verification for OO Programs. In Proc. of SAS'05, volume 3672 of LNCS, pages 70-86, 2005.
11. W-N. Chin, H.H. Nguyen, C. Popeea, and S. Qin. Analysing Memory Resource Bounds for Low-Level Programs. In ISMM. ACM Press, 2008.
12. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL, 1978.
13. S. Craig and M. Leuschel. A compiler generator for constraint logic programs. In Ershov Memorial Conference, pages 148-161, 2003.
14. S. Gulwani, K. K. Mehra, and T. M. Chilimbi. Speed: precise and efficient static estimation of program computational complexity. In POPL, pages 127-139. ACM, 2009.
15. M. Hofmann and S. Jost. Static Prediction of Heap Space Usage for First-Order Functional Programs. In 30th Symposium on Principles of Programming Languages (POPL'03), pages 185-197. ACM Press, 2003.
16. M. Hofmann and D. Rodriguez. Efficient Type-Checking for Amortised Heap-Space Analysis. In Proc. of CSL'09, LNCS. Springer, 2009.
17. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, New York, 1993.
18. H. Lehner and P. Müller. Formal translation of bytecode into BoogiePL. In Bytecode'07, ENTCS, pages 35-50. Elsevier, 2007.
19. M. Leuschel and M. Bruynooghe. Logic Program Specialisation through Partial Deduction: Control Issues. Theory and Practice of Logic Programming, 2(4 & 5):461-515, July & September 2002.
20. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
21. R. Shaham, E. K. Kolodner, and S. Sagiv. Estimating the impact of heap liveness information on space consumption in java. In ISMM, pages 171-182. ACM Press, 2002.
22. L. Unnikrishnan and S. Stoller. Parametric heap usage analysis for functional programs. In Proc. of ISMM'09. ACM Press, 2009.
23. R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In Proc. of Conference of the Centre for Advanced Studies on Collaborative Research (CASCON), pages 125-135, 1999.
24. John Whaley and Monica S. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In PLDI, pages 131-144. ACM, 2004.