Can a shape analysis work at run-time?

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, JVM 2001

Volumn , Issue , 2001, Pages

  Bogda, Jeff ^a   Singh, Ambuj ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; ENGINEERING RESEARCH; NETWORK SECURITY; VIRTUAL MACHINE;

CALL GRAPHS; COMPLETE CALL GRAPHS; PRIORI KNOWLEDGE; RUNTIMES; SHAPE ANALYSIS; SPEED UP; TRADE OFF; WHOLE-PROGRAM ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 32044454524     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. In Proceedings of the Sixth International Static Analysis Symposium, Venezia, Italy, September 1999.
2. Richard J. Anderson and Heather Woll. Wait-free Parallel Algorithms for the Union-Find Problem. In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, pages 370-380, New Orleans, Louisiana, 5-8 May 1991.
3. Jeff Bogda. Detecting Read-Only Methods in Java. In Proceedings of the Fifth International Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR '00), pages 143-154, Rochester, New York, 25-27 May 2000.
4. Jeff Bogda and Ambuj Singh. Critical Section, Be Gone! Technical Report TRCS00-18, Department of Computer Science, University of California, Santa Barbara, August 2000.
5. Jeff Bogda and Urs Hölzle. Removing Unnecessary Synchronization in Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99), pages 35-46, Denver, Colorado, 1-5 November 1999.
6. Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, and Sam Midkiff. Escape Analysis for Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99), pages 1-19, Denver, Colorado, 1-5 November 1999.
7. James C. Corbett. Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs. Technical Report ICS-TR-98-20, Department of Information and Computer Science, University of Hawaii, 14 October 1998.
8. Sanjay Ghemawat, Keith H. Randall, and Daniel J. Scales. Field Analysis: Getting Useful and Low-Cost Interprocedural Information. In Proceedings of Programming Languages, Design, and Implementation (PLDI '00), pages 334-344, Vancouver, Canada, 18-21 June 2000.
9. Tal Lev-Ami, Thomas Reps, Mooly Sagiv, and Reinhard Wilhelm. Putting Static Analysis to Work for Verification: A Case Study. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '00), pages 26-38, Portland, Oregon, 21-24 August 2000.
10. Erik Ruf. Effective Synchronization Removal for Java. In Proceedings of Programming Languages, Design, and Implementation (PLDI '00), pages 208-218, Vancouver, Canada, 18-21 June 2000.
11. Mauricio Serrano, Rajesh Bordawekar, Sam Midkiff, and Manish Gupta. Quicksilver: A Quasi-Static Compiler for Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00), pages 66-82, Minneapolis, Minnesota, 15-19 October 2000.
12. SPEC Java virtual machine benchmark suite. Standard Performance Evaluation Corporation. SPECjvm98 Documentation, Release 1.0. August 1998. http:// www.spec.org/osq/jvm98/jvm98/doc/index.html.
13. Vugranam C. Sreedhar, Michael Burke, and Jong-Deok Choi. A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading. In Proceedings of Programming Languages, Design, and Implementation (PLDI '00), pages 196-207, Vancouver, Canada, 18-21 June 2000.
14. Frank Tip and Jens Palsberg. Scalable Propagation-Based Call Graph Construction Algorithms. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00), pages 281-293, Minneapolis, Minnesota, 15-19 October 2000.
15. Volano benchmark application. http://www.volano.com/ benchmarks.html.
16. John Whaley and Martin Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '99), pages 187-206, Denver, Colorado, 1-5 November 1999.
17. Reinhard Wilhelm, Mooly Sagiv, and Thomas Reps. Shape Analysis. In Proceedings of Conference on Compiler Construction, Berlin, Germany, 27 March - 2 April 2000.
18. Ayal Zaks, Vitaly Feldman, and Nava Aizikowitz. Sealed Calls in Java Packages. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '00), pages 83-92, Minneapolis, Minnesota, 15-19 October 2000.