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

 

ECOOP 2008 ACCEPTED PAPERS

A Model for Java with Wildcards
Nicholas Cameron - Imperial College London, UK
Sophia Drossopoulou - Imperial College London, UK
Erik Ernst - University of Aarhus, DK

On Validity of Program Transformations in the Java Memory Model
Jaroslav Sevcik - University of Edinburgh, Laboratory for Foundations of Computer Science, UK
David Aspinall - University of Edinburgh, Laboratory for Foundations of Computer Science, UK

Safe Cross-language Inheritance
Kathryn E Gray - University of Cambridge, UK


Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Shan Shan Huang - Georgia Institute of Technology, USA
Amir Hormati - University of Michigan, USA
David Bacon - IBM Research, USA
Rodric Rabbah - IBM Research, USA

Kilim: Isolation-Typed Actors for Java
Sriram Srinivasan - University of Cambridge Computer Laboratory, UK
Alan Mycroft - University of Cambridge Computer Laboratory, UK

A Uniform Transactional Execution Environment for Java
Lukasz Ziarek - Purdue University, USA
Adam Welc - Intel Corporation, USA
Ali-Reza Adl-Tabatabai - Intel Corporation, USA
Vijay S Menon - Intel Corporation, USA
Tatiana Shpeisman - Intel Corporation, USA
Suresh Jagannathan - Purdue University, USA


Ptolemy: A Language with Quantified, Typed Events
Hridesh Rajan - Iowa State University, USA
Gary T. Leavens - University of Central Florida, USA

Prototyping and Composing Aspect Languages - using an Aspect Interpreter Framework
Wilke Havinga - University of Twente, NL
Lodewijk Bergmans - University of Twente, NL
Mehmet Aksit - University of Twente, NL

Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
Roberta de Souza Coelho - Pontifical Catholic University of Rio de Janeiro, Brazil
Awais Rashid - Lancaster University, UK
Alessandro Fabricio Garcia - Lancaster University, UK
Fabiano Cutigi Ferrari - University of Sao Paulo / Lancaster University, Brazil / UK
Nelio Cacho - Lancaster University, UK
Uira Kulesza - Pontifical Catholic University of Rio de Janeiro, Brazil
Arndt von Staa - Pontifical Catholic University of Rio de Janeiro, Brazil
Carlos Lucena - Pontifical Catholic University of Rio de Janeiro, Brazil


UpgradeJ: Incremental Typechecking for Class Upgrades
Gavin Bierman - Microsoft Research, UK
Matthew Parkinson - University of Cambridge, UK
James Noble - Victoria University of Wellington, NZ

Integrating Nominal and Structural Subtyping
Donna Malayeri - Carnegie Mellon University, USA
Jonathan Aldrich - Carnegie Mellon University, USA

Flow Analysis of Code Customizations
Anders Hessellund - IT University of Copenhagen, DK
Peter Sestoft - IT University of Copenhagen, DK


Online Phase-Adaptive Data Layout Selection
Chengliang Zhang - Microsoft, USA
Martin Hirzel - IBM, USA

MTM2: Scalable Memory Management for Multi-Tasking Managed Runtime Environments
Sunil Soman - University of California, Santa Barbara, USA
Chandra Krintz - University of California, Santa Barbara, USA
Laurent Daynes - Sun Microsystems Inc., FR

Externalizing Java Server Concurrency with CAL
Charles Zhang - Hong Kong University of Science and Technology, CN
Hans-Arno Jacobsen - University of Toronto, CA


Regional Logic for Local Reasoning about Global Invariants
Anindya Banerjee - Kansas State University, USA
David Naumann - Stevens Institute of Technology, USA
Stan Rosenberg - Stevens Institute of Technology, USA

A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou - Imperial College London, UK
Adrian Francalanza - University of Southampton, UK
Peter Mueller - Microsoft Research, Redmond, USA
Alexander J. Summers - Imperial College London, UK

Extensible Universes for Object-oriented Data Models
Achim Brucker - SAP Research, DE
Burkhart Wolff - Universität des Saarlandes, DE


Programming with Live Distributed Objects
Krzysztof Ostrowski - Cornell University, USA
Ken Birman - Cornell University, USA
Danny Dolev - The Hebrew University of Jerusalem, Israel
Jong Hoon Ahnn - Cornell University, USA

Bristlecone: A Language for Robust Software Systems
Brian Demsky - University of California, Irvine, USA
Alokika Dash - University of California, Irvine, USA

Session-Based Distributed Programming in Java
Raymond Hu - Imperial College London, UK
Nobuko Yoshida - Imperial College London, UK
Kohei Honda - Queen Mary, University of London, UK


ReCrash: Making Software Failures Reproducible by Preserving Object States
Shay Artzi - MIT Computer Science and Artificial Intelligence Lab, USA
Sunghun Kim - MIT Computer Science and Artificial Intelligence Lab, USA
Michael D. Ernst - MIT Computer Science and Artificial Intelligence Lab, USA

An Extensible State Machine Pattern for Interactive Applications
Brian Chin - U.C. Los Angeles, USA
Todd Millstein - U.C. Los Angeles, USA

Practical Object-Oriented Back-in-Time Debugging
Adrian Lienhard - University of Bern, CH
Tudor Girba - University of Bern, CH
Oscar Nierstrasz - University of Bern, CH


Inference of Reference Immutability
Jaime Quinonez - MIT Computer Science and Artificial Intelligence Laboratory, USA
Matthew Tschantz - MIT Computer Science and Artificial Intelligence Laboratory, USA
Michael Ernst - MIT Computer Science and Artificial Intelligence Laboratory, USA

Computing Stack Maps with Interfaces
Frédéric Besson - INRIA, FR
Thomas Jensen - IRISA/CNRS, FR
Tiphaine Turpin - IRISA/Université de Rennes 1, FR

How do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software
Ewan Tempero - University of Auckland, NZ
James Noble - Victoria University of Wellington, NZ
Hayden Melton - University of Auckland, NZ