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. |
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
![Shriram Krishnamurthi](https://2015.ecoop.org/getProfileImage/shriramkrishnamurthi/a91507e3-7a74-4039-8d46-43caf0447d75/avatar.jpg?1711482901000)
The Evolving Design of Pyret
Shriram Krishnamurthi
![Bjarne Stroustrup](https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000)
What, if anything, have we learned from C++?
Bjarne Stroustrup
![Alexander Iliev](https://2015.ecoop.org/getProfileImage/alexanderiliev/b0fa16c4-f7ad-427d-a670-06a282447bfd/avatar.jpg?1718202782000)
GS Collections: Echoes of Smalltalk’s Past
Alexander Iliev
![Bodil Stokke](https://2015.ecoop.org/getProfileImage/bodilstokke/d455dfb6-387d-45c4-a4ce-1a42ca86af20/avatar.jpg?1715957386000)
Post-FRP Frontend Programming
Bodil Stokke
![Alex Muscar](https://2015.ecoop.org/getProfileImage/alexmuscar/d27b658c-a859-4551-9ce4-bf3a1e2994a5/avatar.jpg?1718202014000)
Pyro – Typing Python in Python
Alex Muscar
![Bertrand Meyer](https://2015.ecoop.org/getProfileImage/bertrandmeyer/90ca79c5-5cbb-4432-b255-785fe4149434/avatar.jpg?1711759772000)
The Prague List: Open Problems in Object-Oriented Programming
Bertrand Meyer
![Tomáš Vojnar](https://2015.ecoop.org/getProfileImage/tomasvojnar/a2027d22-c556-409b-b18d-6aec02e0646b/avatar.jpg?1718099725000)
Noise-based Testing of Concurrent Software
Tomáš Vojnar
![Ben L. Titzer](https://2015.ecoop.org/getProfileImage/benltitzer/32bf3136-0edd-4af4-8548-7ae214cb5c2a/avatar.jpg?1718202752000)
Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM
Ben L. Titzer
![Kim Bruce](https://2015.ecoop.org/getProfileImage/kimbruce/5b0a6294-9da5-4ac1-b357-63464ce5b566/avatar.jpg?1711533672000)
Graceful Programming --- Teaching Introductory Programming
Kim Bruce
![Marc Shapiro](https://2015.ecoop.org/getProfileImage/marcshapiro/80fbb3cb-249d-4a8d-b873-ec72850f9026/avatar.jpg?1712634129000)
Encapsulating replication, high concurrency and consistency with CRDTs
Marc Shapiro
![Suresh Jagannathan](https://2015.ecoop.org/getProfileImage/sureshjagannathan/73305772-bb43-42ae-bc42-1c3c909c2f44/avatar.jpg?1711483958000)
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Suresh Jagannathan
![Colin Dixon](https://2015.ecoop.org/getProfileImage/colindixon/ecb31611-0444-43b2-b7c6-d7e4ccc32e75/avatar.jpg?1711691457000)
The State of (Open Source) SDN and Programming Languages Opportunities
Colin Dixon
![Tony Printezis](https://2015.ecoop.org/getProfileImage/tonyprintezis/8dcb1d38-6b80-474f-b09e-210de490af45/avatar.jpg?1718202801000)
Java @ Twitter - a bird's eye view
Tony Printezis
![Cliff Click](https://2015.ecoop.org/getProfileImage/cliffclick/45a68618-3ced-4c62-8086-7422732c73ea/avatar.jpg?1718201985000)
Bits of Advice for VM Writers
Cliff Click
![Roland Kuhn](https://2015.ecoop.org/getProfileImage/rolandkuhn/32cc1fd1-eba4-4ad4-b823-5e5ba5a06cc7/avatar.jpg?1718202814000)
Akka Typed: Between Session Types and the Actor Model
Roland Kuhn
![Jong-Deok Choi](https://2015.ecoop.org/getProfileImage/jongdoekchoi/fd2be542-8f06-45b8-aba3-b5818b7686c2/avatar.jpg?1718202727000)
Programming in the Large for the Internet of Things
Jong-Deok Choi
![Francisco Sant'Anna](https://2015.ecoop.org/getProfileImage/franciscosantanna/c4589467-fae4-49f7-bf3e-257d3306c2ab/avatar.jpg?1718202756000)
Structured Synchronous Programming
Francisco Sant'Anna
![Pavol Cerny](https://2015.ecoop.org/getProfileImage/pavolcerny/3137d160-e201-47a8-a4c2-9e2a461d204e/avatar.jpg?1711507410000)
Program Synthesis for Network Updates
Pavol Cerny
![Daniel Friedman](https://2015.ecoop.org/getProfileImage/danielfriedman/ba5341f9-97aa-4759-9039-eaf6b9b5b143/avatar.jpg?1711720585000)
How to be a good host: miniKanren as a case study
Daniel Friedman, Jason Hemann
![Brendan Eich](https://2015.ecoop.org/getProfileImage/brendaneich/233a1b87-412e-45cc-a348-3e4869cab0c8/avatar.jpg?1718202760000)
JS @ 20
Brendan Eich
![Emina Torlak](https://2015.ecoop.org/getProfileImage/eminatorlak/473b38cb-ed9e-4292-8b1e-cf0732d370bd/avatar.jpg?1711543966000)
Synthesis and Verification for Everyone
Emina Torlak
![Bjarne Stroustrup](https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000)
Object-Oriented Programming without Inheritance
Bjarne Stroustrup
![Gilad Bracha](https://2015.ecoop.org/getProfileImage/giladbracha/67a44daa-d93a-4adf-af3d-095d4288cab7/avatar.jpg?1711471951000)
Programs Wanted: Dead or Alive
Gilad Bracha
![Julian Arni](https://2015.ecoop.org/getProfileImage/julianarni/dd3376a5-8f92-454e-b1bc-a69d8c3bd65f/avatar.jpg?1718202745000)
Servant: a type-level DSL for web APIs
Julian Arni
![Hitesh Ballani](https://2015.ecoop.org/getProfileImage/hiteshballani/0cd29491-88d2-478e-bb2d-da6ad74a8d7f/avatar.jpg?1711691392000)
Enabling End Host Network Functions
Hitesh Ballani
![Evan Czaplicki](https://2015.ecoop.org/getProfileImage/evanczaplicki/82f245c3-fe90-4455-8e99-50c933dcc3d2/avatar.jpg?1718202739000)
Let's be mainstream! User-focused design in Elm
Evan Czaplicki
![Ary Borenszweig](https://2015.ecoop.org/getProfileImage/aryborenszweig/87a193ab-fda2-4c24-864e-84e5b742bdfd/avatar.jpg?1718201886000)
Crystal: a programming language for humans and computers
Ary Borenszweig, Juan Wajnerman
![Antonio Capone](https://2015.ecoop.org/getProfileImage/antoniocapone/6e25e10d-a395-41a2-b431-deeba7b77cc3/avatar.jpg?1711691410000)
From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane
Antonio Capone
![Thomas Arts](https://2015.ecoop.org/getProfileImage/thomasarts/63a65986-14f7-4388-aff5-8c3e309a6544/avatar.jpg?1718202754000)
QuickCheck: from invention to product
Thomas Arts
![Bjarne Stroustrup](https://2015.ecoop.org/getProfileImage/bjarnestroustrup/45fd403a-92e4-4d84-b603-67dedd3470f9/avatar.jpg?1716913353000)
What - if anything - have we learned from C++? *** in room Bohemia I **
Bjarne Stroustrup
![David Thrane Christiansen](https://2015.ecoop.org/getProfileImage/davidchristiansen/4c4934ab-de37-4946-b7f7-59a7ef375eaa/avatar.jpg?1712177621000)
Coding for Types: The Universe Pattern in Idris
David Thrane Christiansen
![Philip Wadler](https://2015.ecoop.org/getProfileImage/philipwadler/329d9a13-7558-4531-8b8b-32904d0caaab/avatar.jpg?1711549517000)
Everything old is new again: Quoted domain specific languages
Philip Wadler
![Shriram Krishnamurthi](https://2015.ecoop.org/getProfileImage/shriramkrishnamurthi/a91507e3-7a74-4039-8d46-43caf0447d75/avatar.jpg?1711482901000)
Static and Dynamic Reasoning for SDNs
Shriram Krishnamurthi
![Andrew D. Gordon](https://2015.ecoop.org/getProfileImage/andrewdgordon/7f4f0e59-76f0-47f6-ae40-c58b9d6d6291/avatar.jpg?1711689959000)
Empowering Spreadsheet Users with Probabilistic Programs
Andrew D. Gordon
![Andrey Breslav](https://2015.ecoop.org/getProfileImage/andreybreslav/2208e1ed-0d7c-4709-a4b3-dc37166a9788/avatar.jpg?1711790604000)
Kotlin: Challenges in language design
Andrey Breslav
![Avik Chaudhuri](https://2015.ecoop.org/getProfileImage/avikchaudhuri/7c5d8215-f05b-4af8-b428-723be45026e1/avatar.jpg?1711611617000)
Flow: a static type checker for JavaScript
Avik Chaudhuri
![Satish Chandra](https://2015.ecoop.org/getProfileImage/satishchandra/235d9365-110f-44cf-b6b2-9cda51aa2dbf/avatar.jpg?1711466580000)
JavaScript in the Small
Satish Chandra
![Filip Pizlo](https://2015.ecoop.org/getProfileImage/filippizlo/bed98de6-350d-48c4-8aec-8decfe611430/avatar.jpg?1718202077000)
LLVM for JavaScript
Filip Pizlo
![Anil Madhavapeddy](https://2015.ecoop.org/getProfileImage/anilmadhavapeddy/505529bf-b2b7-41a5-be88-f5cd55b433ae/avatar.jpg?1711482017000)
Immutable Distributed Infrastructure with Unikernels
Anil Madhavapeddy
![Roger Wattenhofer](https://2015.ecoop.org/getProfileImage/rogerwattenhofer/15df931f-f49b-4357-a7cd-fea3084fb7a0/avatar.jpg?1711691339000)
Managing Dynamic Networks: Distributed or Centralized Control?
Roger Wattenhofer
![Julia Lawall](https://2015.ecoop.org/getProfileImage/julialawall/f55f46e1-05a3-4f7d-95de-afb2fcaeaf99/avatar.jpg?1718202767000)
Coccinelle for the Working Programmer
Julia Lawall
![Zach Tellman](https://2015.ecoop.org/getProfileImage/zachtellman/eb3b3ff5-eca3-4f42-8893-0250d7cd9cd8/avatar.jpg?1718202784000)
Some of the Things That Macros Do
Zach Tellman
![Eran Yahav](https://2015.ecoop.org/getProfileImage/eranyahav/f3a00bbf-0b8f-4b2f-9ae5-67e67965f5fa/avatar.jpg?1711550865000)
Programming with Millions of Examples
Eran Yahav
![Marijn Haverbeke](https://2015.ecoop.org/getProfileImage/marijnhaverbeke/4b718399-24cf-4e06-9815-33b418579d72/avatar.jpg?1718202795000)
Tern: Practical Type Inference for JavaScript Editing
Marijn Haverbeke
![Mooly Sagiv](https://2015.ecoop.org/getProfileImage/moolysagiv/ca660120-3334-4bf1-a793-aa39f254539e/avatar.jpg?1711519931000)
Verifying Correctness of Statefull Networks
Mooly Sagiv
![Jurriaan Hage](https://2015.ecoop.org/getProfileImage/jurriaanhage/350db74b-6360-4cdc-a437-0d0d68b7afbf/avatar.jpg?1711668858000)
Making Embedded Domain Specific Languages a Practical Reality
Jurriaan Hage
![Sumit Gulwani](https://2015.ecoop.org/getProfileImage/sumitgulwani/8db39b15-00f5-4459-9de5-d3699c8f88b3/avatar.jpg?1711804515000)
Data Manipulation using Programming By Examples and Natural Language
Sumit Gulwani
![Molham Aref](https://2015.ecoop.org/getProfileImage/molhamaref/f44c8e45-c467-48c5-9779-e9cd9cd5375c/avatar.jpg?1711689716000)
Declarative Probabilistic Programming
Molham Aref
![Philippa Gardner](https://2015.ecoop.org/getProfileImage/philippagardner/81c7d858-9346-4706-9a44-a584905ece33/avatar.jpg?1711830226000)
Modern Concurrent Separation Logics
Philippa Gardner
![Felix Klock](https://2015.ecoop.org/getProfileImage/felixklock/91874c46-370a-4af5-b753-8cb019b1514e/avatar.jpg?1711518942000)
Rust: A Type System You Didn't Know You Wanted
Felix Klock
![Anton Epple](https://2015.ecoop.org/getProfileImage/antonepple/aee4fed8-9fef-4a06-ad27-3614014cf278/avatar.jpg?1718202731000)
Java everywhere again - with DukeScript!
Anton Epple
![Xia Yinben](https://2015.ecoop.org/getProfileImage/xiayinben/0345a785-72b0-41e8-ac80-b6c1702ec9c8/avatar.jpg?1711691322000)
NEMO-An Intent Oriented Network Programming Language
Xia Yinben
![Tyler McMullen](https://2015.ecoop.org/getProfileImage/tylermcmullen/bcf63a98-ac15-45e5-b96b-b8d30dadee0c/avatar.jpg?1718201935000)
It Probably Works
Tyler McMullen
![Jade Alglave](https://2015.ecoop.org/getProfileImage/jadealglave/aa17b53a-e32b-4538-8d44-5506b94d8fe8/avatar.jpg?1711467492000)
Herding Weak Memory Cats
Jade Alglave
![Alexander J. Summers](https://2015.ecoop.org/getProfileImage/alexanderjsummers/83118046-15f2-4438-82b6-3df8fde54112/avatar.jpg?1711464040000)
Software Verification "Across the Stack"
Alexander J. Summers
![Jukka Lehtosalo](https://2015.ecoop.org/getProfileImage/jukkalehtosalo/05109737-cbb7-490d-b085-8d2bbef2b073/avatar.jpg?1711680296000)
MyPy, an Optionally-Typed Python
Jukka Lehtosalo
![Xenofontas Dimitropoulos](https://2015.ecoop.org/getProfileImage/xenofontasdimitropoulos/1fae76bf-9e93-4477-b7f0-428ffe16ee06/avatar.jpg?1711691357000)
Policy-Compliant Path Diversity and Bisection Bandwidth
Xenofontas Dimitropoulos
![Jeff Bezanson](https://2015.ecoop.org/getProfileImage/jeffbezanson/d7024403-1adf-404f-9e2f-178bff8319e0/avatar.jpg?1718201978000)
Julia: Numerical Applications Pushing the Limits of Language Design
Jeff Bezanson, Stefan Karpinski
![Andreas Rossberg](https://2015.ecoop.org/getProfileImage/andreasrossberg/63a72ef4-6106-42d3-a210-4f71ddbdea53/avatar.jpg?1711606235000)
Experiments with Strengthening JavaScript
Andreas Rossberg
![Robert Grimm](https://2015.ecoop.org/getProfileImage/robertgrimm/65d225f8-02e5-4cf2-8557-f931da113f9b/avatar.jpg?1711632335000)