A dynamic analysis for revealing object ownership and sharing

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 57-63

  Rayside, Derek ^a   Mendel, Lucy ^a   Jackson, Daniel ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

design extraction; dynamic analysis; ownership inference; software visualization

Indexed keywords

CONTROL GRAPHS; HIERARCHICAL MATRICES; PROGRAM UNDERSTANDING; SOFTWARE VISUALIZATION; VISUALIZERS;

COMPUTER SOFTWARE; VISUALIZATION;

DYNAMIC ANALYSIS;

EID: 77953565948     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138912.1138924     Document Type: Conference Paper

References (36)

1. RAHUL AGARWAL AND SCOTT D. STOLLER. Type inference for parameterized race-free Java. In GIORGIO LEVI AND BERNHARD STEFFEN, editors, Proceedings of the 5thInternational Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), volume 2937 of Lecture Notes in Computer Science, pages 149-160, Venice, Italy, January 2004. Springer-Verlag.
2. JONATHAN ALDRICH. Using Types to Enforce Architectural Structure. PhD thesis, University of Washington, August 2003.
3. JONATHAN ALDRICH, VALENTIN KOSTADINOV, AND CRAIG CHAMBERS. Alias annotations for program understanding. In Matsuoka [21], pages 311-330.
4. thEuropean Conference on Object-Oriented Programming (ECOOP), volume 1241 of Lecture Notes in Computer Science, Jyväskylä, Finland, June 1997. Springer-Verlag. ISBN 3-540-63089-9.
5. DAVID F. BACON. Fast and Effective Optimization of Statically Typed Object-Oriented Languages. PhD thesis, University of California, Berkeley, December 1997. UCB/CSD-98-1017.
6. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 324 - 341, San Jose, CA, October 1996.
7. CHANDRASEKHAR BOYAPATI. SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT Electrical Engineering and Computer Science, 2004.
8. CHANDRASEKHAR BOYAPATI, ROBERT LEE, AND MARTIN RINARD. Ownership types for safe programming: Preventing data races and deadlocks. In Matsuoka [21].
9. thACM Symposium on the Principles of Programming Languages (POPL), New Orleans, Louisiana, January 2003.
10. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa, Florida, October 2001.
11. CHANDRASEKHAR BOYAPATI, ALEXANDRU SALCIANU, WILLIAM BEEBEE, AND MARTIN RINARD. Ownership types for safe region-based memory management in real-time java. In Gupta [15].
12. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, British Columbia, Canada, October 1998.
13. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Washington, D.C., September 1993.
14. ERICH GAMMA, RICHARD HELM, RALPH JOHNSON, AND JOHN VLISSIDES. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
15. RAJIV GUPTA, editor. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), June 2003.
16. DAVID L. HEINE AND MONICA S. LAM. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In Gupta [15].
17. TRENT HILL, JAMES NOBLE, AND JOHN POTTER. Scalable visualizations of object-oriented systems with ownership trees. Journal of Visual Languages and Computing, 13:319-339, 2002.
18. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 271-285, Phoenix, AZ, October 1991.
19. thEuropean Conference on Object-Oriented Programming (ECOOP), volume 2743 of Lecture Notes in Computer Science, pages 275-302, Darmstadt, Germany, July 2003. Springer-Verlag. ISBN 3-540-40531-3.
20. MARGARET-ANNE STOREY AND HAUSI A. MÜLLER AND KENNY WONG. Manipulating and Documenting Software Structures. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM), pages 275-284, Opio (Nice), France, October 1995.
21. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Seattle, WA, October 2002.
22. ANA MILANOVA, ATANAS ROUNTEV, AND BARBARA G. RYDER. Parameterized object sensitivity for points-to and side-effect analyses for Java. In PHYLLIS FRANKL, editor, Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pages 1-11, Rome, Italy, July 2002.
23. -. Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology, 14(1):1-41, January 2005. (Pubitemid 40245820)
24. thEuropean Conference on Object-Oriented Programming (ECOOP), Nantes, France, July 2006.
25. SAMUEL E. MOELIUS, III AND AMIE L. SOUTER. An object ownership inference algorithm and its applications. In MARCO T. MORAZAN, editor, Mid-Atlantic Student Workshop on Programming Languages and Systems (MASPLAS), Seton Hall University, April 2004.
26. thACM/IEEE International Conference on Software Engineering (ICSE), pages 80-86, Raffles City, Singapore, April 1988.
27. PETER MÜLLER. Modular Specification and Verification of Object-Oriented Programs. PhD thesis, FernUniversität Hagen, 2001.
28. thEuropean Conference on Object-Oriented Programming (ECOOP), volume 1445 of Lecture Notes in Computer Science, Brussels, Belgium, July 1998. Springer-Verlag. ISBN 3-540-64737-6.
29. thACM/IEEE International Conference on Software Engineering (ICSE), pages 338-348, Boston, MA, May 1997.
30. DAVID LORGE PARNAS. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053-1058, December 1972.
31. -. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, SE-5 (2), March 1979.
32. DEREK RAYSIDE, LUCY MENDEL, ROBERT SEATER, AND DANIEL JACKSON. An analysis and visualization for revealing object sharing. In MARGARET-ANNE STORY AND LI-TE CHENG, editors, Eclipse Technology Exchange (ETX), San Diego, CA, October 2005.
33. thACM/SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), San Diego, CA, October 2005. ISBN 1-59593-031-0.
34. NICK SCERBAKOV. Software Architecture Course LV 706.016 & LV 706.017. Graz University of Technology, IICM, 2002. http://coronet.iicm.edu/sa.
35. ALISDAIR WREN. Ownership type inference. Master's thesis, Department of Computing, Imperial College, 2003. URL http://www.cl.cam.ac.uk/users/aw345/ writings/.
36. JÜRGEN ZIEGLER, CHRISTOPH KUNZ, AND VEIT BOTSCH. Matrix browser: visualizing and exploring large networked information spaces. In ACM Conference on Human Factors in Computing Systems (SIGCHI) extended abstracts, pages 602-603, Minneapolis, MN, 2002. ISBN 1-58113-454-1.