VenueNovotel London West
Room nameReims
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 Jul

Displayed time zone: Belfast change

10:45 - 12:15
Summer School M1Summer School at Reims
Chair(s): Jan Vitek Northeastern University
10:45
90m
Talk
Static Analysis of Ethereum Smart Contracts
Summer School
Yannis Smaragdakis University of Athens
13:30 - 15:00
Summer School M2Summer School at Reims
Chair(s): Edd Barrett King's College London
13:30
90m
Talk
Origami Programming for Fun and Profit
Summer School
Jeremy Gibbons Department of Computer Science, University of Oxford
15:30 - 17:00
Summer School M3Summer School at Reims
Chair(s): Laurence Tratt King's College London
15:30
90m
Talk
Remolding the development experience
Summer School
Tudor Gîrba feenk.com

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 Blackwell University 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 Drossopoulou Imperial College London

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 Mezini TU Darmstadt, Germany
13:30 - 15:10
Summer School W2Summer School at Reims
Chair(s): Edd Barrett King's College London
13:30
1h40m
Talk
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
Summer School
Ben Livshits Imperial College London, UK
15:40 - 17:20
Summer School W3Summer School at Reims
15:40
1h40m
Talk
The Future of Java
Summer School
Gavin Bierman Oracle Labs

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 Gardner Imperial College London
13:30 - 15:10
Summer School R2Summer School at Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
Summer School
Chris Laffra Uber Amsterdam

Fri 19 Jul

Displayed time zone: Belfast change

09:00 - 10:00
DS Session 1 Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
09:00
5m
Day opening
Opening
Doctoral Symposium

09:05
15m
Talk
Lightning Talks
Doctoral Symposium

09:20
40m
Talk
Keynote: A Roadmap to PhD: Impressions and Experiences
Doctoral Symposium
Guido Salvaneschi TU Darmstadt
10:30 - 12:10
DS Session 2Doctoral Symposium at Reims
Chair(s): Lisa Nguyen Quang Do Paderborn University
10:30
30m
Doctoral symposium paper
POSIX Regular Expression Matching and Lexing
Doctoral Symposium
Chengsong Tan King's College London
11:00
30m
Doctoral symposium paper
Pointer Analysis as reachability problem over Push Down System
Doctoral Symposium
Jyoti Prakash University of Potsdam, Germany
11:30
40m
Talk
Keynote: Self-Marketing as a Researcher
Doctoral Symposium
Ben Hermann Paderborn University
Media Attached
13:30 - 15:10
DS Session 3Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
13:30
30m
Doctoral symposium paper
Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios
Doctoral Symposium
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University
14:00
30m
Doctoral symposium paper
State Explosion Considered Harmful
Doctoral Symposium
Robbert Gurdeep Singh Universiteit Gent, Belgium
14:30
30m
Doctoral symposium paper
Session Types in the Real World: A Minimalistic Approach
Doctoral Symposium
Alen Arslanagić University of Groningen
15:40 - 17:20
DS Session 4Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
15:40
30m
Doctoral symposium paper
Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis
Doctoral Symposium
Gebrehiwet Biyane Welearegai University of Potsdam, Germany
16:10
30m
Talk
Invited talk: How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul University of Oslo

Mon 15 Jul

Displayed time zone: Belfast change

Tue 16 Jul

Displayed time zone: Belfast change

Wed 17 Jul

Displayed time zone: Belfast change

Thu 18 Jul

Displayed time zone: Belfast change

Fri 19 Jul

Displayed time zone: Belfast change

Mon 15 Jul

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reims

Wed 17 Jul

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Reims