ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

The ECOOP Summer School is a series of 11 invited talks by well known speakers on topics somewhat related to the object-orientation (interpreted broadly).

Each talk is 90 minutes long and is free to all registered participants. The talks run concurrently to the ECOOP technical session.

Talks

Title
Taming Uncertainty, Scale, and Change: A Programming Language Perspective
Summer School
Declarative Probabilistic Programming
Summer School
Graceful Programming --- Teaching Introductory Programming
Summer School
Link to publication
Herding Weak Memory Cats
Summer School
Link to publication
Modern Concurrent Separation Logics
Summer School
Nimble yet Systematic Trading
Summer School
Noise-based Testing of Concurrent Software
Summer School
Programming with Millions of Examples
Summer School
Synthesis and Verification for Everyone
Summer School
The Evolving Design of Pyret
Summer School
Link to publication
Verifying Correctness of Statefull Networks
Summer School
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Verifying Correctness of Statefull Networks
Summer School
P: Mooly SagivTel Aviv University
13:30 - 15:00
KrishnamurthiSummer School at Moravia
13:30
90m
Talk
The Evolving Design of Pyret
Summer School
P: Shriram KrishnamurthiBrown University
Link to publication
15:30 - 17:00
15:30
90m
Talk
Nimble yet Systematic Trading
Summer School
P: Robert GrimmGoldman Sachs
17:00 - 18:30
17:00
90m
Talk
Modern Concurrent Separation Logics
Summer School
P: Philippa GardnerImperial College London

Conference Day
Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Declarative Probabilistic Programming
Summer School
S: Molham ArefLogicblox
13:30 - 15:00
13:30
90m
Talk
Synthesis and Verification for Everyone
Summer School
P: Emina TorlakUniversity of Washington
17:00 - 18:30
17:00
90m
Talk
Noise-based Testing of Concurrent Software
Summer School
P: Tomáš VojnarBrno University of Technology

Conference Day
Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
15:00
90m
Talk
Programming with Millions of Examples
Summer School
Eran YahavTechnion
17:00 - 18:30
17:00
90m
Talk
Herding Weak Memory Cats
Summer School
P: Jade AlglaveUniversity College London
Link to publication