ECOOP 2008
28 papers
- A Model for Java with Wildcards
- A Unified Framework for Verification Techniques for Object Invariants
- A Uniform Transactional Execution Environment for Java
- An Extensible State Machine Pattern for Interactive Applications
- Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
- Bristlecone: A Language for Robust Software Systems
- Computing Stack Maps with Interfaces
- Extensible Universes for Object-Oriented Data Models
- Externalizing Java Server Concurrency with CAL
- Flow Analysis of Code Customizations
- How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software
- Inference of Reference Immutability
- Integrating Nominal and Structural Subtyping
- Kilim: Isolation-Typed Actors for Java
- Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
- MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments
- On Validity of Program Transformations in the Java Memory Model
- Online Phase-Adaptive Data Layout Selection
- Practical Object-Oriented Back-in-Time Debugging
- Programming with Live Distributed Objects
- Prototyping and Composing Aspect Languages
- Ptolemy: A Language with Quantified, Typed Events
- ReCrash: Making Software Failures Reproducible by Preserving Object States
- Regional Logic for Local Reasoning about Global Invariants
- Safe Cross-Language Inheritance
- Session-Based Distributed Programming in Java
- The Return of Transactions
- UpgradeJ: Incremental Typechecking for Class Upgrades