Table of Contents

Invited Talks.- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.- The Emergent Structure of Development Tasks.- Java.- Loosely-Separated “Sister” Namespaces in Java.- Efficiently Refactoring Java Applications to Use Generic Libraries.- Sharing the Runtime Representation of Classes Across Class Loaders.- Aspects and Modularity.- Aspect-Oriented Programming Beyond Dependency Injection.- Open Modules: Modular Reasoning About Advice.- Evaluating Support for Features in Advanced Modularization Technologies.- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.- Expressive Pointcuts for Increased Modularity.- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?.- Language Design.- First-Class Relationships in an Object-Oriented Language.- The Essence of Data Access in C?.- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.- Efficient Multimethods in a Single Dispatch Language.- Program Analysis.- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.- State Based Ownership, Reentrance, and Encapsulation.- Consistency Checking of Statechart Diagrams of a Class Hierarchy.- Types.- Towards Type Inference for JavaScript.- Chai: Traits for Java-Like Languages.- A Type System for Reachability and Acyclicity.- Testing.- Eclat: Automatic Generation and Classification of Test Inputs.- Lightweight Defect Localization for Java.- Concurrency.- Extending JML for Modular Specification and Verification of Multi-threaded Programs.- Derivation and Evaluation of Concurrent Collectors.- Static Deadlock Detection for Java Libraries.