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

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