ECOOP 2019 (series) /
Summer SchoolECOOP 2019
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
Interactive Decentralised Software Made Easy
Mira Mezini
Gillian: A General Static Analysis Framework based on Separation Logic
Philippa Gardner
Static Analysis of Ethereum Smart Contracts
Yannis Smaragdakis
Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior
Bart Jacobs
Lectures
Dates
Plenary
Mon 15 JulDisplayed time zone: Belfast change
Mon 15 Jul
Displayed time zone: Belfast change
10:45 - 12:15 | |||
10:45 90mTalk | Static Analysis of Ethereum Smart Contracts Summer School Yannis Smaragdakis University of Athens | ||
13:30 - 15:00 | |||
13:30 90mTalk | Origami Programming for Fun and Profit Summer School Jeremy Gibbons Department of Computer Science, University of Oxford | ||
15:30 - 17:00 | |||
15:30 90mTalk | Remolding the development experience Summer School Tudor Gîrba feenk.com | ||
Tue 16 JulDisplayed time zone: Belfast change
Tue 16 Jul
Displayed time zone: Belfast change
10:45 - 12:15 | |||
10:45 90mTalk | Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior Summer School Bart Jacobs KU Leuven | ||
13:30 - 15:00 | |||
13:30 90mTalk | How to design a programming language Summer School Alan Blackwell University of Cambridge | ||
15:30 - 17:00 | |||
15:30 90mTalk | Operational Semantics driving the Type System Design: Reference Capabilities in Pony Summer School Sophia Drossopoulou Imperial College London | ||
Wed 17 JulDisplayed time zone: Belfast change
Wed 17 Jul
Displayed time zone: Belfast change
10:30 - 12:10 | |||
10:30 1h40mTalk | Interactive Decentralised Software Made Easy Summer School Mira Mezini TU Darmstadt, Germany | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things? Summer School Ben Livshits Imperial College London, UK | ||
15:40 - 17:20 | |||
15:40 1h40mTalk | The Future of Java Summer School Gavin Bierman Oracle Labs | ||
Thu 18 JulDisplayed time zone: Belfast change
Thu 18 Jul
Displayed time zone: Belfast change
10:30 - 12:10 | |||
10:30 1h40mTalk | Gillian: A General Static Analysis Framework based on Separation Logic Summer School Philippa Gardner Imperial College London | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | SM4E - Self-Marketing for Engineers Summer School Chris Laffra Uber Amsterdam | ||
15:40 - 16:40 | |||
15:40 60mTalk | POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago Summer School | ||