ecoop08 22nd European Conference on Object-Oriented Programming
July 7th - 11th 2008, Paphos, Cyprus



ECOOP 2008 Schedule


Please find below the schedule of the ECOOP Conference:

For the workshops please visit the workshop page.


9:00 - 10:00Invited Speaker: The Return of Transactions. Prof. Rachid Guerraoui
10:00 - 11:30A Model for Java with Wildcards
On Validity of Program Transformations in the Java Memory Model
Safe Cross-language Inheritance
X10: Concurrent Object-Oriented Programming for Modern Architectures
11:30 - 12:00Coffee Break
12:00 - 13:30Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Kilim: Isolation-Typed Actors for Java
A Uniform Transactional Execution Environment for Java
Using JavaCOP for Type Systems Research
13:30 - 15:30Lunch Break
15:30 - 17:00Ptolemy: A Language with Quantified, Typed Events
Prototyping and Composing Aspect Languages - using an Aspect Interpreter Framework
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
Teaching and Doing Formal Language Theory with the SASyLF Proof Assistant


9:00 - 10:00Invited Speaker: Dr. Akinori Yonezawa
10:00 - 11:30UpgradeJ: Incremental Typechecking for Class Upgrades
Integrating Nominal and Structural Subtyping
Flow Analysis of Code Customizations
Data Parallelism in Ct
11:30 - 12:00Coffee Break
12:00 - 13:30Online Phase-Adaptive Data Layout Selection
MTM2: Scalable Memory Management for Multi-Tasking Managed Runtime Environments
Externalizing Java Server Concurrency with CAL
A Short Introduction to Newspeak
13:30 - 15:30Lunch Break
15:30 - 17:00Regional Logic for Local Reasoning about Global Invariants
A Unified Framework for Verification Techniques for Object Invariants
Extensible Universes for Object-oriented Data Models
Making the Future Safe for the Multicore Era: Semantics, Analysis, and Implementation


9:00 - 10:00Invited Speaker: Dr. Wolfgang De Meuter
10:00 - 11:30Programming with Live Distributed Objects
Bristlecone: A Language for Robust Software Systems
Session-Based Distributed Programming in Java
Declarative Object-Oriented Language Implementation using JastAdd
11:30 - 12:00Coffee Break
12:00 - 13:30ReCrash: Making Software Failures Reproducible by Preserving Object States
An Extensible State Machine Pattern for Interactive Applications
Practical Object-Oriented Back-in-Time Debugging
13:30 - 15:30Lunch Break
15:30 - 17:00Inference of Reference Immutability
Computing Stack Maps with Interfaces
How do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software