22. ECOOP 2008: Paphos, Cyprus

Keynote

• Rachid Guerraoui:
  The Return of Transactions. 1
  

Session I

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

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
  
• Sriram Srinivasan, Alan Mycroft:
  Kilim: Isolation-Typed Actors for Java. 104-128
  
• Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
  A Uniform Transactional Execution Environment for Java. 129-154
  

Session III

• Hridesh Rajan, Gary T. Leavens:
  Ptolemy: A Language with Quantified, Typed Events. 155-179
  
• Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit:
  Prototyping and Composing Aspect Languages. 180-206
  
• 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
  

Session IV

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

Session V

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

Session VI

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

Session VII

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

Session VIII

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

Session IX

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

Last update Wed May 22 03:27:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page