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