|

|
|
These works are copyright © ACM or David F. Bacon.
Permission to make digital or hard copies of part of all of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage. To copy
otherwise, to republish, to post on servers, or to redistribute to lists,
requires prior specific permission and/or a fee.
|
|
Fast Static Analysis of C++ Virtual Function Calls
David F. Bacon and Peter Sweeney
OOPSLA'96 Conference Proceedings: Object-Oriented Programming Systems,
Languages, and Applications (San Jose, California, October 1996),
ACM SIGPLAN Notices volume 31 number 10, pp. 324-341.
Presentation.
|
 |
Describes and evaluates Rapid Type Analysis, an algorithm that resolves 71%
of the dynamic virtual function calls in a suite of seven C++ benchmark
programs of significant size. Rapid Type Analysis also reduces compiled
program size by 25%, and can be used to help the programmer understand his or
her C++ program more easily.
|
|
Fast and Effective Optimization of Statically Typed Object-Oriented Languages
David F. Bacon
Ph.D. Thesis, Computer Science Division, University of California,
Berkeley, December 1997.
Presentation.
|
 |
An analysis algorithm for languages like C++ and Java, and a collection of
optimizations driven by the analysis. This algorithm is now being used in the
JAX Java code compression tool (available on
alphaWorks) and in an optimizer for
a future IBM C++ compiler.
|
|