23. ECOOP 2009: Genoa, Italy

Keynote 1

• Simon L. Peyton Jones:
  Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. 1
  

Types, Frameworks and Modelling

• Davide Ancona, Giovanni Lagorio:
  Coinductive Type Systems for Object-Oriented Languages. 2-26
  
• Ciera Jaspan, Jonathan Aldrich:
  Checking Framework Interactions with Relationships. 27-51
  
• Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens:
  COPE - Automating Coupled Evolution of Metamodels and Models. 52-76
  

Aliasing and Transactions

• Nick Mitchell, Edith Schonberg, Gary Sevitsky:
  Making Sense of Large Heaps. 77-97
  
• Guoqing Xu, Atanas Rountev, Manu Sridharan:
  Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. 98-122
  
• Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy:
  NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. 123-147
  

Access Control and Verification

• Jan Smans, Bart Jacobs, Frank Piessens:
  Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. 148-172
  
• Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein:
  Fine-Grained Access Control with Object-Sensitive Roles. 173-194
  
• Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich:
  Practical API Protocol Checking with Access Permissions. 195-219
  

Modularity

• Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter:
  Adding State and Visibility Control to Traits Using Lexical Nesting. 220-243
  
• Giovanni Lagorio, Marco Servetto, Elena Zucca:
  Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. 244-268
  
• Bruno C. D. S. Oliveira:
  Modular Visitor Components. 269-293
  

Mining and Extracting

• Einar W. Høst, Bjarte M. Østvold:
  Debugging Method Names. 294-317
  
• Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei:
  MAPO: Mining and Recommending API Usage Patterns. 318-343
  
• Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. Bartolomei:
  Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. 344-368
  

Refactoring

• Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor:
  Stepping Stones over the Refactoring Rubicon. 369-393
  
• Christoph Reichenbach, Devin Coughlin, Amer Diwan:
  Program Metamorphosis. 394-418
  
• Friedrich Steimann, Andreas Thies:
  From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. 419-443
  

Keynote 2

• Cliff Click:
  Java on 1000 Cores: Tales of Hardware/Software Co-design. 444
  

Concurrency, Exceptions and Initialization

• Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek:
  Loci: Simple Thread-Locality for Java. 445-469
  
• Bart Jacobs, Frank Piessens:
  Failboxes: Provably Safe Exception Handling. 470-494
  
• Joseph Gil, Tali Shragai:
  Are We Ready for a Safer Construction Environment? 495-519
  
• Christian Haack, Erik Poll:
  Type-Based Object Immutability with Flexible Initialization. 520-545
  

Concurrency and Distribution

• Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens:
  Security Monitor Inlining for Multithreaded Java. 546-569
  
• Patrick Th. Eugster, K. R. Jayaram:
  EventJava: An Extension of Java for Event Correlation. 570-594
  
• Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook:
  Remote Batch Invocation for Compositional Object Services. 595-617
  

ECOOP '08 Banquet Speech

• Jan Vitek:
  Introduction to: The Myths of Object-Orientation. 618
  
• James Noble:
  The Myths of Object-Orientation. 619-629