Code Roots / Doug LeaKeynote 1: |
Programming Environments and Tools |
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini |
Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha |
Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen |
Theoretical Foundations of Programming Languages |
Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen |
Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario Südholt |
The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi |
Formal Methods |
Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer |
Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson |
Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann |
Concurrency Models in Java |
Correct Refactoring of Concurrent Java Code / Max Schäfer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip |
Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss |
JCoBox: Generalizing Active Objects to Concurrent Components / Jan Schäfer ; Arnd Poetzsch-Heffter |
Special Session: Empirical Methods |
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg |
Types Systems |
A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek |
Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda |
Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky |
Secret Valley / Erik ErnestKeynote 2: |
Language Design and Implementation |
Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz |
Modules as Objects in Newspeak / Gilad Bracha ; Peter von der Ahé ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda |
Inline Caching Meets Quickening / Stefan Brunthaler |
Concurrency Abstrations |
Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman |
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens |
Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis |
Experiences |
The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz |
Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein |
Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid |
Author Index |
Code Roots / Doug LeaKeynote 1: |
Programming Environments and Tools |
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini |