ECOOP 2008 Schedule
Please find below the schedule of the ECOOP Conference:
For the workshops please visit the workshop page.
WEDNESDAY JULY 9th
| Time: | Paper: | Tutorial: |
| 9:00 - 10:00 | Invited Speaker: The Return of Transactions. Prof. Rachid Guerraoui | |
| 10:00 - 11:30 | A 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:00 | Coffee Break | |
| 12:00 - 13:30 | Liquid 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:30 | Lunch Break | |
| 15:30 - 17:00 | Ptolemy: 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 |
THURSDAY JULY 10th
| Time: | Paper: | Tutorial: |
| 9:00 - 10:00 | Invited Speaker: Dr. Akinori Yonezawa | |
| 10:00 - 11:30 | UpgradeJ: Incremental Typechecking for Class Upgrades Integrating Nominal and Structural Subtyping Flow Analysis of Code Customizations |
Data Parallelism in Ct |
| 11:30 - 12:00 | Coffee Break | |
| 12:00 - 13:30 | Online 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:30 | Lunch Break | |
| 15:30 - 17:00 | Regional 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 |
FRIDAY JULY 11th
| Time: | Paper: | Tutorial: |
| 9:00 - 10:00 | Invited Speaker: Dr. Wolfgang De Meuter | |
| 10:00 - 11:30 | Programming 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:00 | Coffee Break | |
| 12:00 - 13:30 | ReCrash: 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:30 | Lunch Break | |
| 15:30 - 17:00 | Inference of Reference Immutability Computing Stack Maps with Interfaces How do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software |
|