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): Raffi Khatchadourian, Anitha Gollamudi
Tue 17 Nov 2020 01:40 - 02:00 at SPLASH-I - M-4 Chair(s): Manuel Serrano, Patrick Rein

t.b.a

Conference Day
Mon 16 Nov

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

13:00 - 14:20
M-4Research Papers at SPLASH-I +12h
Chair(s): Raffi KhatchadourianCity University of New York, Anitha GollamudiHarvard University
13:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel 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 SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
13:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
14:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached

Conference Day
Tue 17 Nov

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

01:00 - 02:20
M-4Research Papers at SPLASH-I
Chair(s): Manuel SerranoInria, France, Patrick ReinHasso Plattner Institute
01:00
20m
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel 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 SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
01:40
20m
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
02:00
20m
Talk
Static Analysis of Shape in TensorFlow Programs
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Malta, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached