- Appears in Information and Computation, 175(1):76118, May 2002 Academic Press. An earlier version of this paper appeared in ECOOP `99, Lisbon, Portugal.
- Composing Dataflow Analyses and Transformations Sorin Lerner David Grove Craig Chambers
- Technical Report UWCSE001001 1 Comprehensive Synchronization Elimination for Java
- This paper appears in the 13th European Conference on ObjectOriented Programming (ECOOP 99), Lisbon, Portugal, June 1418, 1999. LNCS 1628, June 1999, pp. 279303. SpringerVerlag
- We present MultiJava, a backward-compatible extension to Java supporting open classes and symmetric multiple dispatch. Open
- Appears in the Proceedings of the 1999 ACM Conference on ObjectOriented Programming Languages, Systems, and Applications (OOPSLA '99), Denver, CO, November 1999.
- Technical Report UW-CSE-00-10-01 1 Comprehensive Synchronization Elimination for Java
- Modular Typechecking for Hierarchically Extensible Datatypes and Functions #
- Automatically Proving the Correctness of Compiler Optimizations
- Appeared in 17th International Conference on Software Engineering (ICSE'17), Seattle, WA, April, 1995.
- HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems
- Automatic Staged Compilation Matthai Philipose
- Appears in OOPSLA '97 Conference Proceedings. Interprocedural analyses enable optimizing compilers to more
- The Design and Implementation of the SELF Compiler, an Optimizing Compiler for
- Modular Typechecking for Hierarchically Extensible Datatypes and Functions
- The Cecil Language Specification and Rationale
- ConstraintBased Polymorphism in Cecil Vassily Litvinov and Craig Chambers
- Frameworks for Intra and Interprocedural Dataflow Analysis Craig Chambers, Jeffrey Dean, and David Grove
- Expressive, Efficient Instance Variables Jeffrey Dean, David Grove, Craig Chambers, and Vassily Litvinov
- Using Types to Enforce Architectural Structure Jonathan Aldrich
- Copyright 1998 David Paul Grove
- Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
- Predicate Dispatching: A Unified Theory of Dispatch
- We present MultiJava, a backwardcompatible extension to Java supporting open classes and symmetric multiple dispatch. Open
- To appear in OOPSLA'98 1 July 1998 ConstraintBased Polymorphism in Cecil
- ConstraintBounded Polymorphism: an Expressive and Practical Type System for ObjectOriented Languages
- Constraint-Bounded Polymorphism: an Expressive and Practical Type System for Object-Oriented Languages
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are
- WholeProgram Optimization of ObjectOriented Languages Craig Chambers, Jeffrey Dean, and David Grove
- Automatically Proving the Correctness of Compiler Optimizations
- Reconciling Software Extensibility with Modular Program Reasoning Todd David Millstein
- Fast Interprocedural Class Analysis Greg DeFouw, David Grove, and Craig Chambers
- Presented at POPL '98, San Diego, CA, January 1998. Fast Interprocedural Class Analysis
- BeCecil, A Core ObjectOriented Language with Block Structure and Multimethods
- Reconciling Software Extensibility with Modular Program Reasoning Todd David Millstein
- WholeProgram Optimization of ObjectOriented Languages Jeffrey Adgate Dean
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are
