Jan Vitek 
ECOOP 2008 – Object-Oriented Programming [PDF ebook] 
22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

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