The ECOOP 2019 Summer School aims at encouraging graduate students and senior undergraduate students to pursue careers in research on topics related to both conferences. The School brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and mentoring sessions on how to prepare for a research career. The School aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and under-represented minority students to attend.

Opening Sessions

Lectures

Title
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
Summer School
Gillian: A General Static Analysis Framework based on Separation Logic
Summer School
How to design a programming language
Summer School
Interactive Decentralised Software Made Easy
Summer School
Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior
Summer School
Operational Semantics driving the Type System Design: Reference Capabilities in Pony
Summer School
Origami Programming for Fun and Profit
Summer School
POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago
Summer School
Remolding the development experience
Summer School
SM4E - Self-Marketing for Engineers
Summer School
Static Analysis of Ethereum Smart Contracts
Summer School
The Future of Java
Summer School
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 15 Jul

Displayed time zone: Belfast change

10:45 - 12:15
Summer School M1Summer School at Reims
Chair(s): Jan VitekNortheastern University
10:45
90m
Talk
Static Analysis of Ethereum Smart Contracts
Summer School
Yannis SmaragdakisUniversity of Athens
13:30 - 15:00
Summer School M2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30
90m
Talk
Origami Programming for Fun and Profit
Summer School
Jeremy GibbonsDepartment of Computer Science, University of Oxford
15:30 - 17:00
Summer School M3Summer School at Reims
Chair(s): Laurence TrattKing's College London
15:30
90m
Talk
Remolding the development experience
Summer School
Tudor Gîrbafeenk.com

Conference Day
Tue 16 Jul

Displayed time zone: Belfast change

13:30 - 15:00
Summer School T2Summer School at Reims
13:30
90m
Talk
How to design a programming language
Summer School
Alan BlackwellUniversity of Cambridge
15:30 - 17:00
Summer School T3Summer School at Reims
15:30
90m
Talk
Operational Semantics driving the Type System Design: Reference Capabilities in Pony
Summer School
Sophia DrossopoulouImperial College London
17:30 - 19:30
Social HourCatering at Socials

Conference Day
Wed 17 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Summer School W1Summer School at Reims
10:30
1h40m
Talk
Interactive Decentralised Software Made Easy
Summer School
Mira MeziniTU Darmstadt, Germany
13:30 - 15:10
Summer School W2Summer School at Reims
Chair(s): Edd BarrettKing's College London
13:30
1h40m
Talk
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
Summer School
Ben LivshitsImperial College London, UK
15:40 - 17:20
Summer School W3Summer School at Reims
15:40
1h40m
Talk
The Future of Java
Summer School
Gavin BiermanOracle Labs

Conference Day
Thu 18 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Summer School R1Summer School at Reims
10:30
1h40m
Talk
Gillian: A General Static Analysis Framework based on Separation Logic
Summer School
Philippa GardnerImperial College London
13:30 - 15:10
Summer School R2Summer School at Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
Summer School
Chris LaffraUber Amsterdam