Vortex: An optimizing compiler for object-oriented languages

Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1996

Volumn , Issue , 1996, Pages 83-100

  Dean, Jeffrey ^a   DeFouw, Greg ^a   Grove, David ^a   Litvinov, Vassily ^a   Chambers, Craig ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING; C++ (PROGRAMMING LANGUAGE); COMPUTER SYSTEMS PROGRAMMING; MODULA (PROGRAMMING LANGUAGE); PROGRAM COMPILERS; STRUCTURAL OPTIMIZATION; VORTEX FLOW;

BENCHMARK PROGRAMS; CLASS HIERARCHY ANALYSIS; CLASS PREDICTION; HYBRID LANGUAGES; INTERMEDIATE LANGUAGES; INTERNAL STRUCTURE; LANGUAGE INDEPENDENTS; OPTIMIZING COMPILERS;

OBJECT ORIENTED PROGRAMMING;

EID: 84978936603     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236337.236344     Document Type: Conference Paper

References (43)

1. Ole Agesen and Urs Hölzle. Type Feedback vs. Concrete Type Analysis: A Comparison of Optimization Techniques for Object-Oriented Languages. In OOPSLA'95 Conference Proceedings, pages 91-107, Austin, Tx, October 1995.
2. Ole Agesen and Urs Hölzle. Dynamic vs. Static Optimization Techniques for Object-Oriented Languages. Theory and Practice of Object Systems, 1(3), 1996.
3. Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
4. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.
5. Gerald Aigner and Urs Hölzle. Eliminating Virtual Function Calls in C++ Programs. In Proceedings ECOOP '96, Linz, Austria, August 1996. Springer-Verlag.
6. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient Implementation of Lattice Operations. ACM Transactions on Programming Languages and Systems, 11(1):115-146, January 1989.
7. David F. Bacon and Peter F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In OOPS-LA'96 Conference Proceedings, San Jose, CA, October 1996.
8. James M. Bieman and Josephine Xia Zhao. Reuse Through Inheritance: A Quantitative Study of C++ Software. In Proceedings of the Symposium on Software Reusability. ACM SIGSOFT, August 1995. Software Engineering Notes.
9. D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common Lisp Object System Specification X3J13. SIGPLAN Notices, 28(Spe-cial Issue), September 1988.
10. Brad Calder and Dirk Grunwald. Reducing Indirect Function Call Overhead in C++ Programs. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 397-408, Portland, Oregon, January 1994.
11. Craig Chambers and David Ungar. Customization: Optimizing Compiler Technology for Self, A Dynamically-Typed Object-Oriented Programming Language. SIGPLAN Notices, 24(7): 146-160, July 1989. In Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation.
12. Craig Chambers and David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. SIGPLAN Notices, 25(6):150-164, June 1990. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation.
13. Craig Chambers. Object-Oriented Multi-Methods in Cecil. In O. Lehrmann Madsen, editor, Proceedings ECOOP '92, LNCS 615, pages 33-56, Utrecht, The Netherlands, June 1992. Springer-Verlag.
14. Craig Chambers. The Cecil Language: Specification and Rationale. Technical Report TR-93-03-05, Department of Computer Science and Engineering. University of Washington, March 1993.
15. Craig Chambers, Jeffrey Dean, and David Grove. A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. In 17th international Conference on Software Engineering, Seattle, WA, April 1995.
16. Craig Chambers, Jeffrey Dean, and David Grove. Whole-Program Optimization of Object-Oriented Languages. Technical Report TR-96-06-02, Department of Computer Science and Engineering. University of Washington, June 1996.
17. Andrew A. Chien. Concurrent Aggregates (CA): Supporting Modularity in Massively-Parallel Programs. MIT Press, Cambridge, MA, 1993.
18. Cliff Click and Keith D. Cooper. Combining Analyses, Combining Optimizations. ACM Transactions on Programming Languages and Systems, 17(2): 181-196, March 1995.
19. Jeffrey Dean, Craig Chambers, and David Grove. Selective Specialization for Object-Oriented Languages. SIGPLAN Notices, pages 93-102, June 1995. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.
20. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings ECOOP '95, Aar-hus, Denmark, August 1995. Springer-Verlag.
21. L. Peter Deutsch and Allan M. Schiff-man. Efficient Implementation of the Smalltalk-80 System. In Conference Record of the Eleventh Annual A CM Symposium on Principles of Programming Languages, pages 297-302, Salt Lake City, Utah, January 1984.
22. Amer Diwan, Eliot Moss, and Kathryn McKinley. Simple and Effective Analysis of Statically-typed Object-Oriented Programs. In OOPSLA '96 Conference Proceedings, San Jose, CA, October 1996.
23. C++ Front End 2.28. Provided by Edison Design Group, Inc. http://www.edg.com.
24. Mary Fernandez. Simple and Effective Link-time Optimization of Modula-3 Programs. SIGPLAN Notices, pages 103-115, June 1995. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.
25. Adele Goldberg and David Robson. Smalltalk-80: The Lanaguge and its Implementation. Addis-ion-Wesley, Reading, MA, 1983.
26. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, MA, 1996.
27. David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-Guided Receiver Class Prediction. In OOPSLA '95 Conference Proceedings, pages 108-123, Austin, TX, October 1995.
28. Urs Hölzle and David Ungar. Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. SIGPLAN Notices, 29(6):326-336, June 1994. In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
29. Urs Hölzle, Craig Chambers, and David Ungar. Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphie Inline Caches. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 21-38, Geneva, Switzerland, July 15-19 1991. Springer-Verlag.
30. Java Development Kit. Sun Microsystems Inc. http://ja-va.sun.com/.
31. Ralph Johnson. TS: AN Optimizing Compiler for Smalltalk. In Proceedings OOPSLA '88, pages 18-26, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
32. Doug Lea. Customization in C++. In Proceedings of the 1990 Usenix C+ + Conference, San Francisco, CA, April 1990.
33. Greg Nelson. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1991.
34. Hemant D. Pande and Barbara G. Ryder. Static Type Determination for C++. In Proceedings of Sixth USENIX C++ Technical Conference, 1994.
35. John Plevyak and Andrew A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings OOPSLA '94, pages 324-340, Portland, OR, October 1994.
36. Craig Schaffen, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment, Language Reference Manual. Technical Report DEC-TR-372, Digital Equipment Corporation, November 1985.
37. Zhong Shao and Andrew Appel. A type-based compiler foor Standard ML. SIGPLAN Notices, pages 116-129, June 1995. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.
38. DEC SRC Modula-3 Implementation. Digital Equipment Corporation Systems Research Center, http://www.re-search.digital.com/SRC/modula-3/htmI/home.html.
39. Bjarne Stroustrup. Multiple Inheritance for C++. In In Proceedings of the European Unix Users Group Conference '87, pages 189-207, Helsinki, Finland, May 1987.
40. Bjarne Stroustrup. The C++ Programming Language (second edition). Addision-Wesley, Reading, MA, 1991.
41. David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Bob Harper, and Peter Lee. TIL: A Type-Directed Compiler for ML. SIGPLAN Notices, pages 181-192, May 1996. In Proceedings of the A CM SIGPLAN '96 Conference on Programming Language Design and Implementation.
42. Steven W. K. Tjiang and John L. Hen-nessy. Sharlit - A Tool for Building Optimizers. SIGPLAN Notices, 27(7):82-93, July 1992. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation.
43. David Ungar and Randall B. Smith. Self: The Power of Simplicity. In Proceedings OOPSLA '87, pages 227-242, December 1987.