Automated Extraction of Abstract Object Models

Object modeling allows software designers and programmers to concisely describe the essence of a program's design, by describing program state. Automatically extracting object models from code can be useful for many reasons: to summarize the architecture of the program, to resolve anomalies in the design, or even to find bugs. This thesis describes Superwomble, a tool for automatically extracting object models from Java bytecode. The object model is generated using an unsound type analysis on the code. The unsoundness is an engineering tradeo that in practice results in correct object models. The tool also allows for automatic generation of abstract object models, by applying user-defined abstraction rules to the models. The techniques for analysis and abstraction are described, and are evaluated on some sample programs

Compiler for streaming applications

Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.Includes bibliographical references (p. 79-81).by Elliot L. Waingold.S.B.and M.Eng

Central Registry: A Pattern for Modular Implicit Invocation

Central Registry is a generalization of several implicitinvocation design patterns. Its goal is to provide the kind of decoupling that implicit invocation provides in a more modular and exible way than current patterns. We describe the pattern in detail and present a formal model of its key features. Using the formal model, we are able to establish, by automatic analysis, properties of any system that uses the pattern. We also describe an implementation framework for the pattern and evaluate its use in three substantial programs