ECOOP 2015

The European Conference on Object-Oriented Programming covers all areas of object technology and related software development technologies. The 29th edition takes place 5-10 July, 2015 in Prague, Czech Republic. The program committee accepted 31 papers out of 136 submission. In addition the program includes 13 workshops, the doctoral symposium, the summer school and a code sprint.

The Junior Dahl-Nygaard Prize went to Alex Summers for contributions to models, languages and tools for reasoning about programs. The Senior Prize was awarded to Bjarne Stroustrup for the design, implementation and evolution of C++.

ECOOP is Open Access, proceedings are available free of charge under a CC-BY license from http://www.dagstuhl.de/dagpub/978-3-939897-86-6. Download all papers from this link.

The ECOOP Distinguished Paper Award goes to Towards Practical Gradual Typing.

The ECOOP Distinguished Artifact Awards go to A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization and Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity.

	The Artifact Evaluation Committee awarded seals to papers with artifacts that meet or exceed expectations set in the paper. Accepted artifacts are available in the brand new Dagstuhl Artifacts Series (DARTS) as DARTS, Vol 1, Issue 1, 2015.
	The Poster Committee composed of Petr Maj, Cliff Click, Laurence Tratt and Christian Hammer, awarded the Distinguished Poster prize to "Simple and effective type check removal through lazy basic block versioning" by Maxime Chevalier-Boisvert and Marc Feeley.

Invited Speakers

Making Embedded Domain Specific Languages a Practical Reality

Jurriaan Hage

Tern: Practical Type Inference for JavaScript Editing

Marijn Haverbeke

Let's be mainstream! User-focused design in Elm

Evan Czaplicki

Pyro – Typing Python in Python

Alex Muscar

GS Collections: Echoes of Smalltalk’s Past

Alexander Iliev

JavaScript in the Small

Satish Chandra

Java everywhere again - with DukeScript!

Anton Epple

Managing Dynamic Networks: Distributed or Centralized Control?

Roger Wattenhofer

Immutable Distributed Infrastructure with Unikernels

Anil Madhavapeddy

Policy-Compliant Path Diversity and Bisection Bandwidth

Xenofontas Dimitropoulos

Encapsulating replication, high concurrency and consistency with CRDTs

Marc Shapiro

Herding Weak Memory Cats

Jade Alglave

The Evolving Design of Pyret

Shriram Krishnamurthi

The State of (Open Source) SDN and Programming Languages Opportunities

Colin Dixon

Enabling End Host Network Functions

Hitesh Ballani

It Probably Works

Tyler McMullen

Declarative Probabilistic Programming

Molham Aref

Post-FRP Frontend Programming

Bodil Stokke

Everything old is new again: Quoted domain specific languages

Philip Wadler

Julia: Numerical Applications Pushing the Limits of Language Design

Jeff Bezanson, Stefan Karpinski

Object-Oriented Programming without Inheritance

Bjarne Stroustrup

Noise-based Testing of Concurrent Software

Tomáš Vojnar

Empowering Spreadsheet Users with Probabilistic Programs

Andrew D. Gordon

Data Manipulation using Programming By Examples and Natural Language

Sumit Gulwani

Taming Uncertainty, Scale, and Change: A Programming Language Perspective

Suresh Jagannathan

Graceful Programming --- Teaching Introductory Programming

Kim Bruce

Software Verification "Across the Stack"

Alexander J. Summers

Programming in the Large for the Internet of Things

Jong-Deok Choi

MyPy, an Optionally-Typed Python

Jukka Lehtosalo

Program Synthesis for Network Updates

Pavol Cerny

Programming with Millions of Examples

Eran Yahav

Servant: a type-level DSL for web APIs

Julian Arni

What, if anything, have we learned from C++?

Bjarne Stroustrup

Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM

Ben L. Titzer

Rust: A Type System You Didn't Know You Wanted

Felix Klock

Akka Typed: Between Session Types and the Actor Model

Roland Kuhn

Verifying Correctness of Statefull Networks

Mooly Sagiv

JS @ 20

Brendan Eich

From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane

Antonio Capone

NEMO-An Intent Oriented Network Programming Language

Xia Yinben

QuickCheck: from invention to product

Thomas Arts

Flow: a static type checker for JavaScript

Avik Chaudhuri

Experiments with Strengthening JavaScript

Andreas Rossberg

What - if anything - have we learned from C++? *** in room Bohemia I **

Bjarne Stroustrup

Structured Synchronous Programming

Francisco Sant'Anna

Kotlin: Challenges in language design

Andrey Breslav

Synthesis and Verification for Everyone

Emina Torlak

How to be a good host: miniKanren as a case study

Daniel Friedman, Jason Hemann

Modern Concurrent Separation Logics

Philippa Gardner

LLVM for JavaScript

Filip Pizlo

Crystal: a programming language for humans and computers

Ary Borenszweig, Juan Wajnerman

Coding for Types: The Universe Pattern in Idris

David Thrane Christiansen

The Prague List: Open Problems in Object-Oriented Programming

Bertrand Meyer

Static and Dynamic Reasoning for SDNs

Shriram Krishnamurthi

Java @ Twitter - a bird's eye view

Tony Printezis

Nimble yet Systematic Trading

Robert Grimm

Programs Wanted: Dead or Alive

Gilad Bracha

Coccinelle for the Working Programmer

Julia Lawall

Some of the Things That Macros Do

Zach Tellman

Bits of Advice for VM Writers

Cliff Click