ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 13:40 - 14:00 at SPLASH-I - M-4 Chair(s): Anitha Gollamudi, Raffi Khatchadourian
Tue 17 Nov 2020 01:40 - 02:00 at SPLASH-I - M-4 Chair(s): Patrick Rein, Manuel Serrano

t.b.a

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
M-4Research Papers at SPLASH-I +12h
Chair(s): Anitha Gollamudi Harvard University, Raffi Khatchadourian City University of New York
13:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
13:20
20m
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
Link to publication DOI Media Attached
13:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Chris Fallin Mozilla
Link to publication DOI Media Attached
14:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens
Link to publication DOI Media Attached

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20
M-4Research Papers at SPLASH-I
Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France
01:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin Gordon Drexel University
Link to publication DOI Pre-print Media Attached
01:20
20m
Talk
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Research Papers
Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London
Link to publication DOI Media Attached
01:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Chris Fallin Mozilla
Link to publication DOI Media Attached
02:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens
Link to publication DOI Media Attached