PASS 2019
Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom
co-located with
ECOOP 2019
Toggle navigation
Attending
Venue: Novotel London West
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
PASS 2019
PASS 2019 (CANCELED)
Workshops
COP
Organization
PASS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
Search
Series
Series
PASS 2019
PASS'19
PASS 2018
PASS 2017
Sign in
Sign up
ECOOP 2019
(
series
) /
PASS 2019 (
series
) /
Novotel London West
/
Room information: Reims
Venue
Novotel London West
Room name
Reims
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 M1
ECOOP 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 M2
ECOOP 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 M3
ECOOP 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
10:45 - 12:15
Summer School T1
ECOOP Summer School
at
Reims
10:45
90m
Talk
Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior
ECOOP Summer School
Bart Jacobs
KU Leuven
13:30 - 15:00
Summer School T2
ECOOP 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 T3
ECOOP 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 W1
ECOOP 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 W2
ECOOP 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 W3
ECOOP 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 R1
ECOOP 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 R2
ECOOP Summer School
at
Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
ECOOP Summer School
Chris Laffra
Uber Amsterdam
15:40 - 16:40
Summer School R3
ECOOP Summer School
at
Reims
15:40
60m
Talk
POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago
ECOOP Summer School
Stephen Leach
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 2
ECOOP 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 3
ECOOP 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 4
ECOOP 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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Reims
ECOOP Summer School
Summer School M1
ECOOP Summer School
Summer School M2
ECOOP Summer School
Summer School M3
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Reims
ECOOP Summer School
Summer School T1
ECOOP Summer School
Summer School T2
ECOOP Summer School
Summer School T3
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Reims
ECOOP Summer School
Summer School W1
ECOOP Summer School
Summer School W2
ECOOP Summer School
Summer School W3
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Reims
ECOOP Summer School
Summer School R1
ECOOP Summer School
Summer School R2
ECOOP Summer School
Summer School R3
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Reims
ECOOP Doctoral Symposium
DS Session 1
ECOOP Doctoral Symposium
DS Session 2
ECOOP Doctoral Symposium
DS Session 3
ECOOP Doctoral Symposium
DS Session 4
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Reims
ECOOP Summer School
Static Analysis of Ethereum Smart Contracts
10:45 - 12:15
ECOOP Summer School
Origami Programming for Fun and Profit
13:30 - 15:00
ECOOP Summer School
Remolding the development experience
15:30 - 17:00
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Reims
ECOOP Summer School
Modular Verification of C and Java Programs with VeriFast - Including T ...
10:45 - 12:15
ECOOP Summer School
How to design a programming language
13:30 - 15:00
ECOOP Summer School
Operational Semantics driving the Type System Design: Reference Capabil ...
15:30 - 17:00
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Reims
ECOOP Summer School
Interactive Decentralised Software Made Easy
10:30 - 12:10
ECOOP Summer School
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
13:30 - 15:10
ECOOP Summer School
The Future of Java
15:40 - 17:20
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Reims
ECOOP Summer School
Gillian: A General Static Analysis Framework based on Separation Logic
10:30 - 12:10
ECOOP Summer School
SM4E - Self-Marketing for Engineers
13:30 - 15:10
ECOOP Summer School
POPLOG -- a pioneering multi-language/multi-paradigm development toolki ...
15:40 - 16:40
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Reims
ECOOP Doctoral Symposium
Opening
09:00 - 09:05
ECOOP Doctoral Symposium
Lightning Talks
09:05 - 09:20
ECOOP Doctoral Symposium
Keynote: A Roadmap to PhD: Impressions and Experiences
09:20 - 10:00
ECOOP Doctoral Symposium
POSIX Regular Expression Matching and Lexing
10:30 - 11:00
ECOOP Doctoral Symposium
Pointer Analysis as reachability problem over Push Down System
11:00 - 11:30
ECOOP Doctoral Symposium
Keynote: Self-Marketing as a Researcher
11:30 - 12:10
ECOOP Doctoral Symposium
Improving the Efficiency, Scalability, and Applicability of Static Prog ...
13:30 - 14:00
ECOOP Doctoral Symposium
State Explosion Considered Harmful
14:00 - 14:30
ECOOP Doctoral Symposium
Session Types in the Real World: A Minimalistic Approach
14:30 - 15:00
ECOOP Doctoral Symposium
Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis
15:40 - 16:10
ECOOP Doctoral Symposium
Invited talk: How to get your Ph.D. DONE!
16:10 - 16:40
x
Sat 9 Nov 00:06