ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP/Curry On program here.

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.



The Curry On talks are available here.
Sun, July 5th Mon, July 6th Tue, July 7th Wed, July 8th Thu, July 9th Fri, July 10th
Pharo
Live-Programming
Curry On ECOOP
RIOT
R Implementation
STOP
Scripts to Programs
ML4PL
Machine Learning
MASPEGHI
Inheritance etc.
JSTools
JavaScript Analysis
FTfJP
Formal Techniques
COP
Context Orientation
PLAS
Analysis for Security
PLE
Language Evolution
Doctoral
Symposium
ICOOOLPS
OO Implementation
Truffle
Truffle/Graal
Summer School
NetPL
Networking meets PL
DSLDI
Domain-Specific Lang.

Invited Speakers

Roland Kuhn
Akka Typed: Between Session Types and the Actor Model
Roland Kuhn
Bertrand Meyer
The Prague List: Open Problems in Object-Oriented Programming
Bertrand Meyer
Jeff Bezanson
Julia: Numerical Applications Pushing the Limits of Language Design
Jeff Bezanson, Stefan Karpinski
Francisco Sant'Anna
Structured Synchronous Programming
Francisco Sant'Anna
Alexander J. Summers
Software Verification "Across the Stack"
Alexander J. Summers
Gilad Bracha
Programs Wanted: Dead or Alive
Gilad Bracha
David Thrane Christiansen
Coding for Types: The Universe Pattern in Idris
David Thrane Christiansen
Anil Madhavapeddy
Immutable Distributed Infrastructure with Unikernels
Anil Madhavapeddy
Philippa Gardner
Modern Concurrent Separation Logics
Philippa Gardner
Xenofontas Dimitropoulos
Policy-Compliant Path Diversity and Bisection Bandwidth
Xenofontas Dimitropoulos
Tony Printezis
Java @ Twitter - a bird's eye view
Tony Printezis
Molham Aref
Declarative Probabilistic Programming
Molham Aref
Andreas Rossberg
Experiments with Strengthening JavaScript
Andreas Rossberg
Thomas Arts
QuickCheck: from invention to product
Thomas Arts
Shriram Krishnamurthi
The Evolving Design of Pyret
Shriram Krishnamurthi
Satish Chandra
JavaScript in the Small
Satish Chandra
Bjarne Stroustrup
Object-Oriented Programming without Inheritance
Bjarne Stroustrup
Emina Torlak
Synthesis and Verification for Everyone
Emina Torlak
Cliff Click
Bits of Advice for VM Writers
Cliff Click
Roger Wattenhofer
Managing Dynamic Networks: Distributed or Centralized Control?
Roger Wattenhofer
Jurriaan Hage
Making Embedded Domain Specific Languages a Practical Reality
Jurriaan Hage
Pavol Cerny
Program Synthesis for Network Updates
Pavol Cerny
Tomáš Vojnar
Noise-based Testing of Concurrent Software
Tomáš Vojnar
Antonio Capone
From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane
Antonio Capone
Hitesh Ballani
Enabling End Host Network Functions
Hitesh Ballani
Colin Dixon
The State of (Open Source) SDN and Programming Languages Opportunities
Colin Dixon
Evan Czaplicki
Let's be mainstream! User-focused design in Elm
Evan Czaplicki
Marc Shapiro
Encapsulating replication, high concurrency and consistency with CRDTs
Marc Shapiro
Philip Wadler
Everything old is new again: Quoted domain specific languages
Philip Wadler
Ary Borenszweig
Crystal: a programming language for humans and computers
Ary Borenszweig, Juan Wajnerman
Anton Epple
Java everywhere again - with DukeScript!
Anton Epple
Xia Yinben
NEMO-An Intent Oriented Network Programming Language
Xia Yinben
Jade Alglave
Herding Weak Memory Cats
Jade Alglave
Bjarne Stroustrup
What - if anything - have we learned from C++? *** in room Bohemia I **
Bjarne Stroustrup
Alexander Iliev
GS Collections: Echoes of Smalltalk’s Past
Alexander Iliev
Brendan Eich
JS @ 20
Brendan Eich
Mooly Sagiv
Verifying Correctness of Statefull Networks
Mooly Sagiv
Bodil Stokke
Post-FRP Frontend Programming
Bodil Stokke
Julia Lawall
Coccinelle for the Working Programmer
Julia Lawall
Suresh Jagannathan
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Suresh Jagannathan
Marijn Haverbeke
Tern: Practical Type Inference for JavaScript Editing
Marijn Haverbeke
Andrew D. Gordon
Empowering Spreadsheet Users with Probabilistic Programs
Andrew D. Gordon
Ben L. Titzer
Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM
Ben L. Titzer
Sumit Gulwani
Data Manipulation using Programming By Examples and Natural Language
Sumit Gulwani
Bjarne Stroustrup
What, if anything, have we learned from C++?
Bjarne Stroustrup
Tyler McMullen
It Probably Works
Tyler McMullen
Jong-Deok Choi
Programming in the Large for the Internet of Things
Jong-Deok Choi
Shriram Krishnamurthi
Static and Dynamic Reasoning for SDNs
Shriram Krishnamurthi
Felix Klock
Rust: A Type System You Didn't Know You Wanted
Felix Klock
Zach Tellman
Some of the Things That Macros Do
Zach Tellman
Robert Grimm
Nimble yet Systematic Trading
Robert Grimm
Andrey Breslav
Kotlin: Challenges in language design
Andrey Breslav
Avik Chaudhuri
Flow: a static type checker for JavaScript
Avik Chaudhuri
Jukka Lehtosalo
MyPy, an Optionally-Typed Python
Jukka Lehtosalo
Filip Pizlo
LLVM for JavaScript
Filip Pizlo
Kim Bruce
Graceful Programming --- Teaching Introductory Programming
Kim Bruce
Julian Arni
Servant: a type-level DSL for web APIs
Julian Arni
Daniel Friedman
How to be a good host: miniKanren as a case study
Daniel Friedman, Jason Hemann
Alex Muscar
Pyro – Typing Python in Python
Alex Muscar
Eran Yahav
Programming with Millions of Examples
Eran Yahav