Conference Programme

Room assignment is now available (see below).

Day Schedule Main Conference ECOOP Summer School
Room: Joffre B
Wednesday, July 3
 8:00-9:00 Registration
 9:00-10:15 Welcome & Keynote: Pat Hanrahan, Stanford University, USA
Room: Antigone1
 10:15-10:45  Break
 10:45-12:15 Session 1: Aspects, Components, and Modularity
Chair: Erik Ernst
Room: Antigone1

One VM to rule them all.
Thomas Wuerthinger and Doug Simon

 12:15-12:45 Artifacts and Best Paper Awards
Room: Antigone1
 12:45-14:15  Lunch Break
 14:15-15:45 Session 2: Types
Chair: John Boyland
Room: Antigone1
Analyzing JavaScript and the Web with WALA.
Julian Dolby, Max Schaefer and Manu Sridharan
 15:45-16:15  Break
 16:15-17:45 Session 3: Language design
Chair: Jan Vitek
Room: Antigone1
Thursday, July 4
 8:30-9:00 Registration
 9:00-10:15 DN Prize Keynote: Matthew Parkinson, Microsoft Research Cambridge, UK
Room: Einstein
 10:15-10:45  Break
 10:45-12:45 Session 4: Concurrency, parallelism, and distribution
Chair: Adam Welc
Room: Einstein

R: A language for Analyzing Data.
Tomas Kalibera

 12:45-14:15  Lunch Break
 14:15-15:45 Session 5: Analysis and Verification 1
Chair: Sophia Drossopoulou
Room: Antigone1
Reusable and Evolvable DSLs in Neverlang.
Walter Cazzola and Edoardo Vacchi
 15:45-16:15  Break
 16:15-17:45 Session 6: Analysis and Verification 2
Chair: Davide Ancona
Room: Antigone1
From PCs to tablets: Programming the Diffuse Web.
Manuel Serrano
Friday, July 5
 8:30-9:00 Registration
 9:00-10:15 DN Prize Keynote: Oscar Nierstrasz, University of Bern, Switzerland
Room: Einstein
 10:15-10:45 Break
 10:45-12:45 Session 7: Modelling and Refactoring
Chair: Laurence Tratt
Room: Einstein
High-Performance DSLs using Scala, LMS and Delite.
Tiark Rompf and Arvind Sujeeth
 12:45-14:15  Lunch Break
 14:15-15:45 Session 8: Testing, Profiling, and Empirical Studies
Chair: Jan Vitek
Room: Einstein
The Smart Programming Assistant.
Francesco Logozzo
 15:45-16:15  Break
 16:15-17:45 Session 9: Implementation
Chair: Theo D'Hondt
Room: Einstein

bpa Best Paper Award, aec Validated Artifact, aec dist Distinguished Artifact Award

Satellite Events Programme is available here.

Detailed Programme of Sessions:

Session 1: Aspects, Components, and Modularity
Chair: Erik Ernst

CoCo: Sound and Adaptive Replacement of Java Collections.
Guoqing  Xu, University of California, Irvine

Feature-Oriented Programming with Object Algebra.aec
Bruno C. d. S.  Oliveira, National University of Singapore
Tijs Van Der Storm, Centrum Wiskunde & Informatica (CWI)
Alex Loh and William R. Cook, University of Texas, Austin

Composition and Reuse with Compiled Domain-Specific Languages.
Arvind Sujeeth1, Tiark Rompf2,3, Kevin Brown1, HyoukJoong Lee1, Hassan Chafi1,3, Victoria Popic1, Michael Wu1, Aleksander Prokopec2, Vojin Jovanovic2, Martin Odersky2, Kunle Olukotun1
1Stanford University,  2EPFL, 3Oracle Labs


Session 2: Types
Chair: John Boyland

Combining Form and Function: Static Types for JQuery Programs.
Benjamin S Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
Brown University

Heap Decomposition Inference with Linear Programming.
Haitao Steve Zhu, Yu David Liu, SUNY Binghamton

A Formal Semantics for Isorecursive and Equirecursive State Abstractions.
Alexander J.  Summers, ETH Zurich
Sophia Drossopoulou, Imperial College London


Session 3: Language design
Chair: Jan Vitek

Trustworthy Proxies: Virtualizing Objects with Invariants.
Tom Van Cutsem, Vrije Universiteit Brussel
Mark S. Miller, Google Research

JavaUI: Effects for Controlling UI Object Access.
Colin S.  Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman
University of Washington

The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types.
Marco  Servetto, Julian Mackay, Alex Potanin, James Noble
Victoria University of Wellington


Session 4: Concurrency, parallelism, and distribution
Chair: Adam Welc

Implementing Federated Object Systems.
Tobias Freudenreich1, Patrick Eugster2, Sebastian Frischbier1, Stefan Appel1, Alejandro Buchmann1
1TU Darmstadt, 2Purdue University

RedCard: Redundant Check Elimination for Dynamic Race Detectors.bpa
Cormac  Flanagan, University of California, Santa Cruz
Stephen N. Freund, Williams College

Ownership-based Isolation for Concurrent Actors on Multi-Core Machines.
Olivier Gruber, Fabienne Boyer
University of Grenoble

Why Do Scala Developers Mix the Actor Model with Other Concurrency Models?
Samira  Tasharofi, Peter Dinges, Ralph Johnson
University of Illinois at Urbana--Champaign


Session 5: Analysis and Verification 1
Chair: Sophia Drossopoulou

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-order Library.
Kasper  Svendsen, Lars Birkedal, IT University of Copenhagen
Matthew Parkinson, Microsoft Research Cambridge

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine.
Danilo Ansaloni1, Stephen Kell1, Yudi Zheng1, Lubomir Bulej2, Walter Binder1, Petr Tuma2
1University of Lugano, 2Charles University, Prague

Averroes: Whole-Program Analysis without the Whole Program.aec
Karim Ali, Ondrej Lhoták
University of Waterloo


Session 6: Analysis and Verification 2
Chair: Davide Ancona

QUIC Graphs: Relational Invariant Generation for Containers.aecaec dist
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
University of Colorado Boulder

Reducing Lookups for Invariant Checking.
Jakob G. Thomsen1, Christian Clausen1, Kristoffer J. Anders1, John Danaher2, Erik Ernst1
1Aarhus University, 2Google Inc.

Verification Condition Generation for Permission Logics with Abstract Predicates aec
and Abstraction Functions.

Stefan  Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
ETH Zurich


Session 7: Modelling and Refactoring
Chair: Roland Ducournau

Really Automatic Scalable Object-Oriented Reengineering.aec
Marco  Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Chair of Software Engineering, ETH Zurich

Detecting Refactored Clones.
Mati  Shomrat, Tel Aviv University
Yishai A. Feldman, IBM Research - Haifa

A Comparative Study of Manual and Automated Refactorings.aec
Stas  Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig
University of Illinois at Urbana-Champaign

A Compositional Paradigm of Automating Refactorings.aec
Mohsen  Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson
University of Illinois at Urbana-Champaign


Session 8: Testing, Profiling, and Empirical Studies
Chair: Jan Vitek

What Programmers do with Inheritance in Java?
Ewan  Tempero, Hong Yul Yang, The University of Auckland
James Noble, Victoria University of Wellington

Is This a Bug or an Obsolete Test?
Dan Hao1, Tian Lan1, Hongyu Zhang2, Chao Guo1, Lu Zhang1
1Institute of Software, School of Electronics Engineering and Computer Science, Peking University, 2Tsinghua University

Systematic Testing of Refactoring Engines on Real Software Projects.aec
Milos Gligoric1, Farnaz Behrang2, Yilong Li1, Jeffrey Overbey2, Munawar Hafiz2, Darko Marinov1
1University of Illinois at Urbana Champaign, 2Auburn University


Session 9: Implementation
Chair: Theo D'Hondt

Simple Profile Rectifications Go A Long Way: Demystifying the Influence of Sampling Errors on Feedback Driven Program Optimizations.
Bo Wu, Mingzhou Zhou, The College of William and Mary
Xipeng Shen, The College of William and Mary and Microsoft Research
Yaoqing Gao, Raul Silvera, Graham Yiu, IBM

The Shape of Things to Run: Compiling Complex Stream Graphs to Hardware in Lime.
Joshua  Auerbach, David F Bacon, Perry Cheng, Stephen J Fink, Rodric Rabbah
IBM T. J. Watson Research Center

Higher-order Reactive Programming With Incremental Lists.
Ingo Maier, Martin Odersky, EPFL