ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Tue 17 Nov 2020 01:20 - 01:40 at OOPSLA/ECOOP - M-4
Mon 16 Nov 2020 13:20 - 13:40 at OOPSLA/ECOOP - M-4

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: (GMT-05:00) Central Time (US & Canada) change

13:00 - 14:20: M-4Research Papers at OOPSLA/ECOOP +12h
13:00 - 13:20
Talk
Research Papers
Colin GordonDrexel University
Pre-print
13:20 - 13:40
Talk
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
13:40 - 14:00
Talk
Research Papers
14:00 - 14:20
Talk
Research Papers
Sifis LagouvardosUniversity of Athens, Greece, Julian DolbyIBM Research, USA, Neville GrechUniversity of Athens, Greece, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens, Greece

Tue 17 Nov
Times are displayed in time zone: (GMT-05:00) Central Time (US & Canada) change

01:00 - 02:20: M-4Research Papers at OOPSLA/ECOOP
01:00 - 01:20
Talk
Research Papers
Colin GordonDrexel University
Pre-print
01:20 - 01:40
Talk
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
01:40 - 02:00
Talk
Research Papers
02:00 - 02:20
Talk
Research Papers
Sifis LagouvardosUniversity of Athens, Greece, Julian DolbyIBM Research, USA, Neville GrechUniversity of Athens, Greece, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens, Greece