22. ECOOP 2008: Paphos, Cyprus

Jan Vitek (Ed.): ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Lecture Notes in Computer Science 5142 Springer 2008, ISBN 978-3-540-70591-8 BibTeX

Keynote

Rachid Guerraoui:
The Return of Transactions. 1
Electronic Edition (link) BibTeX

Session I

Nicholas R. Cameron, Sophia Drossopoulou, Erik Ernst:
A Model for Java with Wildcards. 2-26
Electronic Edition (link) BibTeX
Jaroslav Sevcík, David Aspinall:
On Validity of Program Transformations in the Java Memory Model. 27-51
Electronic Edition (link) BibTeX
Kathryn E. Gray:
Safe Cross-Language Inheritance. 52-75
Electronic Edition (link) BibTeX

Session II

Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah:
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. 76-103
Electronic Edition (link) BibTeX
Sriram Srinivasan, Alan Mycroft:
Kilim: Isolation-Typed Actors for Java. 104-128
Electronic Edition (link) BibTeX
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. 129-154
Electronic Edition (link) BibTeX

Session III

Hridesh Rajan, Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events. 155-179
Electronic Edition (link) BibTeX
Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit:
Prototyping and Composing Aspect Languages. 180-206
Electronic Edition (link) BibTeX
Roberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena:
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study. 207-234
Electronic Edition (link) BibTeX

Session IV

Gavin M. Bierman, Matthew J. Parkinson, James Noble:
UpgradeJ: Incremental Typechecking for Class Upgrades. 235-259
Electronic Edition (link) BibTeX
Donna Malayeri, Jonathan Aldrich:
Integrating Nominal and Structural Subtyping. 260-284
Electronic Edition (link) BibTeX
Anders Hessellund, Peter Sestoft:
Flow Analysis of Code Customizations. 285-308
Electronic Edition (link) BibTeX

Session V

Chengliang Zhang, Martin Hirzel:
Online Phase-Adaptive Data Layout Selection. 309-334
Electronic Edition (link) BibTeX
Sunil Soman, Chandra Krintz, Laurent Daynès:
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments. 335-361
Electronic Edition (link) BibTeX
Charles Zhang, Hans-Arno Jacobsen:
Externalizing Java Server Concurrency with CAL. 362-386
Electronic Edition (link) BibTeX

Session VI

Anindya Banerjee, David A. Naumann, Stan Rosenberg:
Regional Logic for Local Reasoning about Global Invariants. 387-411
Electronic Edition (link) BibTeX
Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. 412-437
Electronic Edition (link) BibTeX
Achim D. Brucker, Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models. 438-462
Electronic Edition (link) BibTeX

Session VII

Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn:
Programming with Live Distributed Objects. 463-489
Electronic Edition (link) BibTeX
Brian Demsky, Alokika Dash:
Bristlecone: A Language for Robust Software Systems. 490-515
Electronic Edition (link) BibTeX
Raymond Hu, Nobuko Yoshida, Kohei Honda:
Session-Based Distributed Programming in Java. 516-541
Electronic Edition (link) BibTeX

Session VIII

Shay Artzi, Sunghun Kim, Michael D. Ernst:
ReCrash: Making Software Failures Reproducible by Preserving Object States. 542-565
Electronic Edition (link) BibTeX
Brian Chin, Todd D. Millstein:
An Extensible State Machine Pattern for Interactive Applications. 566-591
Electronic Edition (link) BibTeX
Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz:
Practical Object-Oriented Back-in-Time Debugging. 592-615
Electronic Edition (link) BibTeX

Session IX

Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst:
Inference of Reference Immutability. 616-641
Electronic Edition (link) BibTeX
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin:
Computing Stack Maps with Interfaces. 642-666
Electronic Edition (link) BibTeX
Ewan D. Tempero, James Noble, Hayden Melton:
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. 667-691
Electronic Edition (link) BibTeX