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,