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

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