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

We introduce a trusted infrastructure for symbolic analysis of modern event-driven Web applications. This infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events, JavaScript Promises, and the JavaScript async/await APIs, all underpinned by a simple Core Event Semantics that is sufficiently expressive to describe the event models underlying all these APIs. Our reference implementations are trustworthy in that they follow the API respective standards line-by-line and they are thoroughly tested against the appropriate official test-suites, passing all the applicable tests. Using the Core Events Semantics and the reference implementations, we develop JaVerT.Click, a symbolic execution tool for JavaScript that, for the first time, supports reasoning about JavaScript programs that use some (possibly all) these APIs. Using JaVerT.Click, we perform comprehensive symbolic testing of the events module of Cash, a widely-used jQuery alternative, creating a symbolic test suite with 100% line coverage, establishing bounded correctness of several essential properties of the module, and discovering two subtle, previously unknown bugs.

Mon 16 Nov
Times are displayed in 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 - 13:20
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
13:20 - 13:40
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 - 14:00
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
14:00 - 14:20
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

Tue 17 Nov
Times are displayed in 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 - 01:20
Talk
Designing with Static Capabilities and Effects
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
01:20 - 01:40
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 - 02:00
Talk
Safe, Flexible Aliasing with Deferred Borrows
Research Papers
Link to publication DOI Media Attached
02:00 - 02:20
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