PASS 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
co-located with ECOOP 2019
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 M1ECOOP Summer School at Reims
Chair(s): Jan Vitek Northeastern University
10:45
90m
Talk
Static Analysis of Ethereum Smart Contracts
ECOOP Summer School
Yannis Smaragdakis University of Athens
13:30 - 15:00
Summer School M2ECOOP Summer School at Reims
Chair(s): Edd Barrett King's College London
13:30
90m
Talk
Origami Programming for Fun and Profit
ECOOP Summer School
Jeremy Gibbons Department of Computer Science, University of Oxford
15:30 - 17:00
Summer School M3ECOOP Summer School at Reims
Chair(s): Laurence Tratt King's College London
15:30
90m
Talk
Remolding the development experience
ECOOP Summer School
Tudor Gîrba feenk.com

Tue 16 Jul

Displayed time zone: Belfast change

13:30 - 15:00
Summer School T2ECOOP Summer School at Reims
13:30
90m
Talk
How to design a programming language
ECOOP Summer School
Alan Blackwell University of Cambridge
15:30 - 17:00
Summer School T3ECOOP Summer School at Reims
15:30
90m
Talk
Operational Semantics driving the Type System Design: Reference Capabilities in Pony
ECOOP Summer School
Sophia Drossopoulou Imperial College London

Wed 17 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Summer School W1ECOOP Summer School at Reims
10:30
1h40m
Talk
Interactive Decentralised Software Made Easy
ECOOP Summer School
Mira Mezini TU Darmstadt, Germany
13:30 - 15:10
Summer School W2ECOOP Summer 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?
ECOOP Summer School
Ben Livshits Imperial College London, UK
15:40 - 17:20
Summer School W3ECOOP Summer School at Reims
15:40
1h40m
Talk
The Future of Java
ECOOP Summer School
Gavin Bierman Oracle Labs

Thu 18 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Summer School R1ECOOP Summer School at Reims
10:30
1h40m
Talk
Gillian: A General Static Analysis Framework based on Separation Logic
ECOOP Summer School
Philippa Gardner Imperial College London
13:30 - 15:10
Summer School R2ECOOP Summer School at Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
ECOOP Summer School
Chris Laffra Uber Amsterdam

Fri 19 Jul

Displayed time zone: Belfast change

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

09:05
15m
Talk
Lightning Talks
ECOOP Doctoral Symposium

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