Field analysis: Getting useful and low-cost interprocedural information

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 5, 2000, Pages 334-344

  Ghemawat, Sanjay ^a,b   Randall, Keith H ^a   Scales, Daniel J ^a  

^a HEWLETT PACKARD COMPANY   (United States)

^b GOOGLE INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0242696743     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/358438.349343     Document Type: Article

References (21)

1. Java Memory Model Mailing List. At URL http: //www.cs.umd.edu/~pugh/java/memoryModel/.
2. J. Aldrich, C. Chambers, E. G. Sirer, and S. Eggers. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. In Sixth International Static Analysis Symposium, Sept. 1999.
3. B. Blanchet. Escape Analysis for Object Oriented Languages. Application to Java. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1999.
4. J. Bogda and U. Hölzle. Removing Unnecessary Synchronization in Java. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1999.
5. J.-D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape Analysis for Java. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1999.
6. Compaq Computer Corporation. Compaq Fast Virtual Machine V1.2.2-1 for Alpha. At URL http://www. compaq.com/java.
7. J. Dean, D. Grove, and C. Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In ECOOP '95, pages 77-101, Aug. 1995.
8. D. Detlefs and O. Agesen. Inlining of Virtual Methods. In ECOOP '99, pages 258-278, June 1999.
9. D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended Static Checking. Technical Report 159, Compaq, 1998.
10. A. Diwan, K. S. McKinley, and J. E. B. Moss. Type-Based Alias Analysis. In 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998.
11. A. Diwan, J. E. B. Moss, and K. S. McKinley. Simple and Effective Analysis of Statically-Typed Object-Oriented Programs. In 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1996.
12. J. Dolby and A. Chien. An Evaluation of Automatic Object Inline Allocation Techniques. In 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1998.
13. D. Gay and B. Steensgaard. Stack Allocating Objects in Java. At URL http://www.research.microsoft. com/apl/stackalloc-abstract.ps.
14. C. Hall, S. L. Peyton-Jones, and P. M. Sansom. Unboxing Using Specialization. In Functional Programming, Glasgow 1994. Workshops in Computing Science. Springer-Verlag, 1995.
15. T. Lengauer and R. E. Tarjan. A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Trans. Prog. Lang. Syst., 1(1):121-141, July 1979.
16. X. Leroy. Unboxed Objects and Polymorphic Typing. In 19th Symposium on the Principles of Programming Languages, pages 177-188, Jan. 1992.
17. E. Ruf. Partitioning Dataflow Analyses Using Types. In ACM SIGPLAN/SIGACT '97 Symposium on Principles of Programming Languages, Nov. 1997.
18. D. J. Scales, K. H. Randall, S. Ghemawat, and J. Dean. The Swift Java Compiler: Design and Implementation. Technical Report 2000/2, Compaq Western Research Laboratory, Apr. 2000.
19. Z. Shao, J. H. Reppy, and A. W. Appel. Unrolling Lists. In ACM Conference on Lisp and Functional Programming, June 1994.
20. V. C. Sreedhar and G. R. Gao. A Linear Time Algorithm for Placing Phi-nodes. In 22nd Annual ACM Symposium on Principles of Programming Languages, Jan. 1995.
21. J. Whaley and M. Rinard. Compositional Pointer and Escape Analysis for Java Programs. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Nov. 1999.