Conference Programme

Room assignment is now available (see below).

Best Paper Award, Validated Artifact, 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.
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 Sujeeth¹, Tiark Rompf^2,3, Kevin Brown¹, HyoukJoong Lee¹, Hassan Chafi^1,3, Victoria Popic¹, Michael Wu¹, Aleksander Prokopec², Vojin Jovanovic², Martin Odersky², Kunle Olukotun^1
1Stanford University,  ²EPFL, ³Oracle 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 Freudenreich¹, Patrick Eugster², Sebastian Frischbier¹, Stefan Appel¹, Alejandro Buchmann^1
1TU Darmstadt, ²Purdue University

RedCard: Redundant Check Elimination for Dynamic Race Detectors.
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 Ansaloni¹, Stephen Kell¹, Yudi Zheng¹, Lubomir Bulej², Walter Binder¹, Petr Tuma^2
1University of Lugano, ²Charles University, Prague

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

Session 6: Analysis and Verification 2
Chair: Davide Ancona

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

Reducing Lookups for Invariant Checking.
Jakob G. Thomsen¹, Christian Clausen¹, Kristoffer J. Anders¹, John Danaher², Erik Ernst^1
1Aarhus University, ²Google Inc.

Verification Condition Generation for Permission Logics with Abstract Predicates
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.
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.
Stas  Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig
University of Illinois at Urbana-Champaign

A Compositional Paradigm of Automating Refactorings.
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 Hao¹, Tian Lan¹, Hongyu Zhang², Chao Guo¹, Lu Zhang^1
1Institute of Software, School of Electronics Engineering and Computer Science, Peking University, ²Tsinghua University

Systematic Testing of Refactoring Engines on Real Software Projects.
Milos Gligoric¹, Farnaz Behrang², Yilong Li¹, Jeffrey Overbey², Munawar Hafiz², Darko Marinov^1
1University of Illinois at Urbana Champaign, ²Auburn 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