ECOOP 2009 Accepted Papers

Making Sense of Large Heaps

• Nick Mitchell, IBM T.J. Watson Research Center
• Edith Schonberg, IBM T.J. Watson Research Center
• Gary Sevitsky, IBM T.J. Watson Research Center

Checking Framework Interactions with Relationships

• Ciera Jaspan, Carnegie Mellon University
• Jonathan Aldrich, Carnegie Mellon University

Stepping Stones over the Refactoring Rubicon

• Max Schaefer, Oxford University Computing Laboratory
• Mathieu Verbaere, Oxford University Computing Laboratory
• Torbjorn Ekman, Oxford University Computing Laboratory
• Oege Moor, Oxford University Computing Laboratory

Security Monitor Inlining for Multithreaded Java

• Mads Dam, KTH
• Bart Jacobs, K.U.Leuven
• Andreas Lundblad, KTH
• Frank Piessens, K.U.Leuven

Program Metamorphosis

• Christoph Reichenbach, University of Colorado
• Devin Coughlin, University of Colorado
• Amer Diwan, University of Colorado

COPE - Automating Coupled Evolution of Metamodels and Models

• Markus Herrmannsdoerfer, Technische Universität München
• Sebastian Benz, BMW Car IT GmbH
• Elmar Juergens, Technische Universität München

Fine-Grained Access Control with Object-Sensitive Roles

• Jeffrey Fischer, University of California, Los Angeles
• Daniel Marino, University of California, Los Angeles
• Rupak Majumdar, University of California, Los Angeles
• Todd Millstein, University of California, Los Angeles

MAPO: Mining and Recommending API Usage Patterns

• Hao Zhong, Key Laboratory of High Confidence Software Technologies, Ministry of Education. School of Electronics Engineering and Computer Science, Peking University
• Tao Xie, Department of Computer Science, North Carolina State University
• Lu Zhang, Key Laboratory of High Confidence Software Technologies, Ministry of Education. School of Electronics Engineering and Computer Science, Peking University
• Jian Pei, School of Computer Science, Simon Fraser University
• Hong Mei, Key Laboratory of High Confidence Software Technologies, Ministry of Education. School of Electronics Engineering and Computer Science, Peking University

Loci: Simple Thread-Locality for Java

• Tobias Wrigstad, Purdue University
• Filip Pizlo, Purdue University
• Fadi Meawad, Purdue University
• Lei Zhao, Purdue University
• Jan Vitek, Purdue University

Featherweight Jigsaw - A Minimal Core Calculus for Modular Composition of Classes

• Giovanni Lagorio, Università di Genova
• Marco Servetto, Università di Genova
• Elena Zucca, Università di Genova

Implicit Dynamic Frames

• Jan Smans, Katholieke Universiteit Leuven
• Bart Jacobs, Katholieke Universiteit Leuven
• Frank Piessens, Katholieke Universiteit Leuven

Debugging Method Names

• Einar W. Høst, Norsk Regnesentral/Computas AS
• Bjarte M. Østvold, Norsk Regnesentral

Failboxes: Provably Safe Exception Handling

• Bart Jacobs, Katholieke Universiteit Leuven
• Frank Piessens, Katholieke Universiteit Leuven

Are We Ready for a Safer Construction Environment?

• Yossi Gil, Google, Haifa
• Tali Shragai, The Technion

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems

• Haris Volos, University of Wisconsin-Madison
• Adam Welc, Intel Corporation
• Ali-Reza Adl-Tabatabai, Intel Corporation
• Tatiana Shpeisman, Intel Corporation
• Xinmin Tian, Intel Corporation
• Ravi Narayanaswamy, Intel Corporation

Scaling CFL-Reachability-Based Points-to Analysis Using Context-Sensitive Must-Not-Alias Analysis

• Guoqing Xu, Ohio State University
• Atanas Rountev, Ohio State University
• Manu Sridharan, IBM T.J. Watson Research Center

Coinductive Type Systems for Object-Oriented Languages

• Davide Ancona, Università di Genova
• Giovanni Lagorio, Università di Genova

Practical API Protocol Checking with Access Permissions

• Kevin Bierhoff, Carnegie Mellon University
• Nels E. Beckman, Carnegie Mellon University
• Jonathan Aldrich, Carnegie Mellon University

Remote Batch Invocation for Compositional Object Services

• Ali Ibrahim, University of Texas at Austin
• Yang Jiao, Virginia Tech
• Eli Tilevich, Virginia Tech
• William R. Cook, University of Texas at Austin,

Modular Visitor Components: A Practical Solution to the Expression Families Problem

• Bruno C.d.S Oliveira, University of Oxford

From Public to Private to Absent: Refactoring JAVA Programs under Constrained Accessibility

• Friedrich Steimann, Fernuniversität in Hagen
• Andreas Thies, Fernuniversität in Hagen

Adding State and Visibility Control to Traits using Lexical Nesting

• Tom Van Cutsem, Vrije Universiteit Brussel
• Alexandre Bergel, INRIA Lille
• Stèphane Ducasse, INRIA Lille
• Wolfgang De Meuter, Vrije Universiteit Brussel

Supporting Framework Use via Automatically Extracted Concept-Implementation Templates

• Abbas Heydarnoori, University of Waterloo
• Krzysztof Czarnecki, University of Waterloo
• Thiago Tonelli Bartolomei, University of Waterloo

EventJava: An Extension of Java for Event Correlation

• Patrick Eugster, Purdue University
• K. R. Jayaram, Purdue University

Type-base Object Immutability with Flexible Initialization,

• Christian Haack, University of Nijmegen
• Erik Poll, University of Nijmegen