ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, 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

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