A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 59-70

  Dufour, Bruno ^a   Ryder, Barbara G ^a   Sevitsky, Gary ^b  

^a RUTGERS UNIVERSITY   (United States)

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

Author keywords

Dataflow analysis; Escape analysis; Framework intensive applications; Java; Performance; Program understanding

Indexed keywords

BASIC BLOCKS; EMPIRICAL EVALUATIONS; EMPIRICAL RESULTS; ESCAPE ANALYSIS; JAVA APPLICATIONS; METHOD INVOCATION; PERFORMANCE BOTTLENECKS; PROGRAM UNDERSTANDING; WEB APPLICATION;

COMPUTER SOFTWARE; DATA FLOW ANALYSIS; DATA STRUCTURES;

JAVA PROGRAMMING LANGUAGE;

EID: 67650812903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453111     Document Type: Conference Paper

References (28)

1. W. Alexander, R. Berry, F. Levine, and R. Urquhart. A unifying approach to performance analysis in the Java environment. IBM Systems Journal, 1:118-134, 2000. (Pubitemid 30588182)
2. G. Ammons, T. Ball, and J. R. Larus. Exploiting hardware performance counters with flow and context sensitive profiling. In Proc. of the ACM SIGPLAN Conf. on Prog. Lang. Design and Impl. (PLDI), pages 85-96. ACM Press, 1997.
3. G. Ammons, J.-D. Choi, M. Gupta, and N. Swamy. Finding and removing performance bottlenecks in large systems. In Proc. of the European Conf. on Object-oriented Prog. (ECOOP), 2004.
4. S. Artzi, M. D. Ernst, D. Glasser, and A. Kiezun. Combined static and dynamic mutability analysis. In Proc. of the 22nd IEEE/ACM Intl. Conf. on Automated Soft. Eng., pages 104-113, 2007.
5. S. Blackburn, R. Garner, C. Hoffmann, A. Khan, K. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. V. Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In Proc. of the ACM SIGPLAN Conf. on Object-Oriented Prog. Syst., Langs, and Appls (OOPSLA), pages 169-190, Oct. 2006.
6. D. Buytaert, K. Beyls, and K. D. Bosschere. Hinting refactorings to reduce object creation in Java. In Proceedings of the fifth ACES Symposium, pages 73-76, 1 2005.
7. J.-D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midkiff. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. on Prog. Lang. and Sys., 25(6):876-910, 2003.
8. C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining static checking and testing. In Proc. of the 27th Intl Conf. on Soft. Eng. (ICSE), 2005.
9. C. Csallner and Y. Smaragdakis. DSD-crasher: A hybrid analysis tool for bug finding. In Proc. of ACM SIGSOFT Intl Symp. on Soft. Test. and Anal. (ISSTA), pages 245-254, 2006.
10. W. DePauw, E. Jensen, N. Mitchell, G. Sevitsky, J. Vlissides, and J. Yang. Software visualization: State of the art survey. In LNCS 2269, 2002.
11. B. Dufour, B. G. Ryder, and G. Sevitsky. Blended analysis for performance understanding of framework-based applications. In ISSTA '07: Proc. of the Intl Symp. on Soft. Test. and Anal., pages 118-128, 2007.
12. M. Ernst. Static and dynamic analysis: Synergy and duality. In Proc. of the Wksp on Dyn. Anal., 2003.
13. C. Flanagan, K. Leino, M. Lillibridge, G. Nelson, J. Saxe, and R. Stata. Extended static checking for Java. In Proc. of the ACM SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 234-245, 2002.
14. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the ACM SIGPLAN Conf. on Prog. Lang. Design and Impl., 2005.
15. A. Groce and R. Joshi. Exploiting traces in program analysis. In Proc. of Intl Conf. on Tools and Algs for the Constr. and Anal. of Sys. (TACAS), 2006.
16. R. Gupta, M. L. Soffa, and J. Howard. Hybrid slicing: Integrating dynamic information with static analysis. ACM Trans. on Soft. Eng. and Meth., 6(4), Oct. 1997.
17. O. Lhot́ak and L. Hendren. Scaling Java points-to analysis using Spark. In G. Hedin, editor, 12th Intl Conf. on Comp. Const. (CC'03), volume 2622 of LNCS, pages 153-169, April 2003.
18. T. J. Marlowe and B. G. Ryder. Properties of data flow frameworks: A unified model. Acta Informatica, 28:121-163, 1990.
19. N. Mitchell. The runtime structure of object ownership. In Proc. of the European Conf. on Object-oriented Prog. (ECOOP), 2006.
20. N. Mitchell and G. Sevitsky. The causes of bloat, the limits of health. In Proc. of the ACM SIGPLAN Conf. on Object-Oriented Prog. Syst., Langs, and Appls (OOPSLA), pages 245-260, Oct. 2007.
21. N. Mitchell, G. Sevitsky, and H. Srinivasan. Modeling runtime behavior in framework-based applications. In Proc. of the European Conf. on Object-oriented Prog. (ECOOP), 2006.
22. M. Mock, D. Atkinson, C. Chambers, and S. Eggars. Improving program slicing with dynamic points-to data. In Proc. of the 10th Symp. on the Found. of Soft. Eng., 2002.
23. A. Orso, T. Apiwattanapong, and M. J. Harrold. Leveraging field data for impact analysis and regression testing. In Proc. of European Soft. Eng. Conf. and ACM SIGSOFT Symp. on the Found. of Soft. Eng. (ESEC/FSE'03), Helsinki, Finland, September 2003.
24. B. G. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. In invited paper in the Proc. of the Twelfth Intl Conf. on Comp. Constr., pages 126-137, April 2003.
25. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In Proc. of the Conf. on the Found. of Soft. Eng., 2005.
26. A. Shankar, M. Arnold, and R. Bodik. JOLT: Lightweight dynamic analysis and removal of object churn. In Proc. of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). ACM Press, 2008. (To appear).
27. K. Srinivas and H. Srinivasan. Summarizing application performance from a components perspective. In Proc. of the ACM SIGSOFT Conf. on Found. of Soft. Eng., pages 136-145, September 2005.
28. A. Tomb, G. Brat, and W. Visser. Variably interprocedural program analysis for runtime error detection. In Proc. of the ACM SIGSOFT Intl Symp. on Soft. Test. and Anal. (ISSTA), pages 97-107, Jul. 2007.