23rd European Conference on Object-Oriented Programming

July 6th - 10th 2009, Genova, Italy

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