23rd European Conference on Object-Oriented Programming

July 6th - 10th 2009, Genova, Italy

ECOOP 2009 Program

  Monday, July 6th
  Workshops Summer School
8:00-9:00 Registration
9:00-10:30 W1, W2, W3, W4, W5  
10:30-11:00 Coffee Break
11:00-12:30 W1, W2, W3, W4, W5  
12:30-14:00 Lunch
14:00-15.30 W1, W2, W3, W4, W5  
15:30-16:00 Coffee Break
16:00-17:30 W1, W2, W3, W4, W5  
17:30-19:00  
19:00-22:00 Workshop Reception at Le Terrazze del Ducale
  Tuesday, July 7th
  Workshops Summer School
8:00-9:00 Registration
9:00-10:30 W6, W7, W8, W9, W10, W11, W12  
10:30-11:00 Coffee Break
11:00-12:30 W6, W7, W8, W9, W10, W11, W12  
12:30-14:00 Lunch
14:00-15.30 W6, W7, W9, W10, W11, W12 PyPy
15:30-16:00 Coffee Break
16:00-17:30 W6, W7, W9, W10, W11, W12  
  Wednesday, July 8th
  Technical Papers Summer School
8:00-9:00 Registration
9:00-9:30 Welcome
9:30-10:30 Keynote: Simon Peyton Jones
10:30-11:00 Coffee Break
11:00-12:30 Types, Frameworks and Modelling Project Fortress
12:30-14:00 Lunch
14:00-15.30 Aliasing And Transactions VeriFast
15:30-16:00 Coffee Break
16:00-17:30 Access Control And Verification Flexible Task Graphs
17:30-... Poster & Demo
17:30-19:00  
19:00-22:00 Welcome Party at Aula Magna of the University Rectorate
  Thursday, July 9th
  Technical Papers Summer School
9:00-09:30 Awarding of Dahl-Nygaard Prize
9:30-10:30 Talk of Dahl-Nygaard prize David Ungar
10:30-11:00 Coffee Break
11:00-12:30 Modularity Crystal-izing
12:30-14:00 Lunch
14:00-15:30 Mining and Extracting Spec#
15:30-16:00 Coffee Break
16:00-17:30 Refactoring Object Teams
17:30-... Poster & Demo
17:30-19:30  
19:30-23:30 Conference Banquet at Villa Lo Zerbino
  Friday, July 10th
  Technical Papers Summer School
9:00-10:00 Keynote: Cliff Click
10:00-10:30 Coffee Break
10.30-12:30 Concurrency, Exceptions and Initialization  
12:30-14:00 Lunch
14:00-15.30 Concurrency and Distribution  
15:30-16:00 Closing

Wednesday, July 8th

9:00 Welcome

9:30-10:30 Keynote

Classes, Jim, but not as we know them. Type classes in Haskell: what, why, and whither
  • Simon Peyton Jones, Microsoft Research

11:00-12:30 Types, Frameworks and Modelling

Viktor Kuncak, Ecole Polytechnique Federale de Lausanne

Coinductive Type Systems for Object-Oriented Languages
  • Davide Ancona, Università di Genova
  • Giovanni Lagorio, Università di Genova
Checking Framework Interactions with Relationships
  • Ciera Jaspan, Carnegie Mellon University
  • Jonathan Aldrich, Carnegie Mellon University
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

11:00-12.30 Summer School

Project Fortress: A Multicore Language for Scientists and Engineers
  • Sukyoung Ryu, Sun Microsystems
  • Jan-Willem Maessen, Sun Microsystems

14:00-15.30 Aliasing and Transactions

Jan Vitek, Purdue University

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
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
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

14:00-15:30 Summer School

VeriFast: A Simple, Sound Verifier for Rich Separation Logic Contracts
  • Bart Jacobs, Katholieke Universiteit Leuven
  • Jan Smans, Katholieke Universiteit Leuven

16:00-17:30 Access Control and Verification

Atsushi Igarashi, Kyoto University

Implicit Dynamic Frames
  • Jan Smans, Katholieke Universiteit Leuven
  • Bart Jacobs, Katholieke Universiteit Leuven
  • Frank Piessens, Katholieke Universiteit Leuven
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
Practical API Protocol Checking with Access Permissions
  • Kevin Bierhoff, Carnegie Mellon University
  • Nels E. Beckman, Carnegie Mellon University
  • Jonathan Aldrich, Carnegie Mellon University

16:00-17:30 Summer School

Flexible Task Graphs: A Framework for Experimental Real Time Programming in Java
  • Joshua Auerbach, IBM Research

Thursday, July 9th

9:00 Awarding of Dahl-Nygaard Prize

9:30-10:30 Dahl-Nygaard Prize Talk

Self and Self: Whys and Wherefores
  • David Ungar, IBM Research

11:00-12:30 Modularity

Erik Ernst, University of Aarhus

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
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
Modular Visitor Components: A Practical Solution to the Expression Families Problem
  • Bruno C.d.S Oliveira, University of Oxford

11:00-12:30 Summer School

Crystal-izing Sophisticated Code Analyses
  • Ciera Jaspan, Carnegie Mellon University
  • Kevin Bierhoff, Carnegie Mellon University
  • Jonathan Aldrich, Carnegie Mellon University

14:00-15:30 Mining and Extracting

Yossi Gil, Google Haifa and Technion

Debugging Method Names
  • Einar W. Høst, Norsk Regnesentral/Computas AS
  • Bjarte M. Østvold, Norsk Regnesentral
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
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

14:00-15:30 Summer School

Program verification using the Spec# Programming System
  • K. Rustan M. Leino, Microsoft Research
  • Rosemary Monahan, National University of Ireland

16:00-17:30 Refactoring

Oscar Nierstrasz, University of Bern

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
Program Metamorphosis
  • Christoph Reichenbach, University of Colorado
  • Devin Coughlin, University of Colorado
  • Amer Diwan, University of Colorado
From Public to Private to Absent: Refactoring JAVA Programs under Constrained Accessibility
  • Friedrich Steimann, Fernuniversität in Hagen
  • Andreas Thies, Fernuniversität in Hagen

16:00-17:30 Summer School

Object Teams: Programming with Contextual Roles
  • Stephan Herrmann, Technische Universität Berlin

Friday, July 10th

9:00-10:00 Keynote

Java on 1000 cores: tales of hardware/software co-design
  • Cliff Click, Azul Systems

10.30-12:30 Concurrency, Exceptions and Initialization

Kathryn Gray, University of Cambridge

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
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
Type-base Object Immutability with Flexible Initialization,
  • Christian Haack, University of Nijmegen
  • Erik Poll, University of Nijmegen

14:00-15.30 Concurrency and Distribution

Gary Leavens, University of Central Florida

Security Monitor Inlining for Multithreaded Java
  • Mads Dam, KTH
  • Bart Jacobs, K.U.Leuven
  • Andreas Lundblad, KTH
  • Frank Piessens, K.U.Leuven
EventJava: An Extension of Java for Event Correlation
  • Patrick Eugster, Purdue University
  • K. R. Jayaram, Purdue 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,