Analysis and Compilation of Object-Oriented Languages
Ole Agesen and Urs Hölzle.
Type Feedback vs. Concrete Type Analysis: A Comparison of
Optimization Techniques for
Object-Oriented Languages.
In OOPSLA '95.
Gerald Aigner and Urs Hölzle.
Eliminating Virtual Function Calls in C++ Programs.
In ECOOP '96. [technical report TRCS95-22]
Craig Chambers, Jeffrey Dean, and David Grove.
Whole-Program Optimization of Object-Oriented Languages.
Technical report UW-CSE-96-06-02, University of Washington, 1996.
Chatterjee, R.K. and Ryder, B.G.
Modular Concrete Type-inference for Statically Typed
Object-oriented Programming Languages.
Department of Computer Science, Rutgers
University, Number DCS-TR-349, November, 1997.
Chatterjee, R. K., Ryder, B. G. and Landi, W. A.
Complexity of Concrete Type-inference in
the Presence of Exceptions.
Department of Computer Science, Rutgers University, Number
DCS-TR-341, September, 1997.
Chatterjee, R.K. and Ryder, B.G.
Scalable, Flow-sensitive Type-inference for Statically
Typed Object-oriented Programming Languages.
Department of Computer Science, Rutgers
University, Number DCS-TR-326, July, 1997.
Jeffrey Dean, David Grove, and Craig Chambers.
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.
In ECOOP'95.
Jeffrey Dean, Craig Chambers, and David Grove.
Selective Specialization for Object-Oriented Languages.
In PLDI'95.
Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, and Craig Chambers.
Vortex: An Optimizing Compiler for Object-Oriented Languages.
In OOPSLA'96.
Jeffrey Dean.
Whole-Program Optimization of Object-Oriented Languages.
Ph.D. Thesis, University of Washington, 1996. (Note: prints single-side
only.)
Greg DeFouw, David Grove, and Craig Chambers.
Fast Interprocedural Class Analysis.
In POPL'98. [technical report]
Karel Driesen and Urs Hölzle.
The Direct Cost of Virtual Function Calls in C++.
In OOPSLA '96.
Karel Driesen and Urs Hölzle.
Minimizing Row Displacement Dispatch Tables.
In OOPSLA '95.
Karel Driesen, Urs Hölzle, and Jan Vitek.
Message Dispatch on Pipelined Processors.
In ECOOP '95.
Karel Driesen.
Selector Table Indexing & Sparse Arrays.
In OOPSLA '93.
Karel Driesen.
Method Lookup Strategies in Dynamically Typed Object-Oriented
Programming Languages.
Master's thesis, Vrije Universiteit Brussels, 1993.
David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers.
Call Graph Construction in Object-Oriented Languages.
In OOPSLA'97.
David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers.
Profile-Guided Receiver Class Prediction.
In OOPSLA'95.[technical report UW-CSE-94-03-05]
David Grove.
The Impact of Interprocedural Class Analysis on Optimization.
In CASCON'95.
Laurie Hendren,
Slides on
optimizing Java.
Urs Hölzle, Craig Chambers, and David Ungar.
Debugging Optimized Code with Dynamic Deoptimization.
In PLDI '92.
Urs Hölzle, Craig Chambers, and David Ungar.
Optimizing Dynamically-Typed Object-Oriented Programming
Languages with Polymorphic Inline Caches.
In ECOOP '91.
Urs Hölzle and David Ungar.
Optimizing Dynamically-Dispatched Calls with Run-Time Type
Feedback.
In PLDI '94.
Urs Hölzle.
Adaptive Optimization for Self: Reconciling High
Performance with Exploratory Programming.
Ph.D. Thesis, Stanford University.
Urs Hölzle and Ole Agesen.
Dynamic vs. Static Optimization Techniques for Object-Oriented Languages.
In TAPOS 1996.
John Plevyak.
Optimization of Object-Oriented and Concurrent Programs.
Ph.D. Thesis, University of Illinois at Urbana-Champaign,
August 1996.
John Plevyak, Andrew Chien.
Precise Concrete Type Inference for Object-Oriented Languages.
In OOPSLA'94.
John Plevyak, Andrew Chien.
Type Directed Cloning for Object-Oriented Programs.
In the workshop for Languages and Compilers
for Parallel Computers, Columbus, Ohio, August 1995.
John Plevyak, Xinbing Zhang, Andrew Chien.
Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages.
In POPL'95.
Chatterjee, R.K., Ryder, B. G., and Landi, W. A.
Complexity of Concrete Type-inference in
the Presence of Exceptions.
In European Symposium on Programming, April, 1998.
Pande, Hemant D. and Ryder, Barbara G.
Data-flow-based Virtual Function Resolution.
LNCS 1145, Static Analysis: Third International Symposium,
SAS'96, Pages 238-254,
September, 1996.
Hemant D.Pande.
Compile Time Analysis of C and C++ Systems.
Rutgers University, Ph.D. Thesis, May, 1996.
Pande, Hemant and Ryder, Barbara G.
Static Type Determination and Aliasing for C++
Laboratory of Computer Science Research Technical Report, Number
LCSR-TR-250-A, October, 1995.
Pande, H. D. and Ryder, B. G.
Static Type Determination and Aliasing for C++.
Laboratory of Computer Science Research Technical Report, Number LCSR-TR-236,
December, 1994.
Stocks, P.A. and Ryder, B.G. and Landi, W.A. and Zhang, S.
Comparing Flow- and Context-sensitivity on the
Modification-side-effects Problem.
In Proceedings of the International Symposium on Software Testing
and Analysis, March, 1998.
Thomas Lindgren / thomasl@csd.uu.se
Last modified: Tue May 12 12:41:22 MET DST 1998