Dynamic optimistic interprocedural analysis: A framework and an application

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 36, Issue , 2001, Pages 195-210

  Pechtchanski, Igor ^a   Sarkar, Vivek ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; DYNAMIC PROGRAMMING; GLOBAL OPTIMIZATION; GRAPHIC METHODS; PROCEDURE ORIENTED LANGUAGES; PROGRAM COMPILERS; SOFTWARE ENGINEERING; VALUE ENGINEERING;

DYNAMIC INTERPROCEDURAL ANALYSIS; OPTIMISTIC INTERPROCEDURAL ANALYSIS; STATIC INTERPROCEDURAL ANALYSIS; VALUE GRAPH;

DATA FLOW ANALYSIS;

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

References (29)

1. The Jalapeño virtual machine
2. Implementing Jalapeño in Java
3. Invokeinterface considered harmless
4. Adaptive optimization in the Jalapeño JVM
5. Fast static analysis of C++ virtual function calls
6. The Jalapeño dynamic optimizing compiler for Java
7. Dependence analysis for Java
8. Customization: Optimizing compiler technology for self, a dynamically-typed object-oriented programming language
9. An efficient implementation of self - A dynamically-typed object-oriented language based on prototypes
10. Efficient and precise modeling of exceptions for the analysis of Java programs
11. Optimization of object-oriented programs using static class hierarchy analysis
12. Fast interprocedural class analysis
13. Inlining of virtual methods
14. Call graph construction in object-oriented languages
15. Optimizing dynamically-dispatched calls with run-time type feedback
16. A third generation SELF implementation: Reconciling responsiveness with performance
17. A study of devirtualization techniques for a Java just-in-time compiler
18. Multi-dimensional separation of concerns and the hyperspace approach
19. Making type inference practical
20. Precise concrete type inference for object oriented languages
21. A framework for interprocedural optimization in the presence of dynamic class loading
22. Practical virtual method call resolution for Java
23. Scalable propagation-based call graph construction algorithms