@@ -5,7 +5,7 @@ title: Papers accepted at ECOOP 2020
...
@@ -5,7 +5,7 @@ title: Papers accepted at ECOOP 2020
Two papers by members of the group have been accepted at
Two papers by members of the group have been accepted at
the [34th European Conference on Object-Oriented Programming, ECOOP 2020](https://2020.ecoop.org/home).
the [34th European Conference on Object-Oriented Programming, ECOOP 2020](https://2020.ecoop.org/home).
The paper by Gabriela, Jose, Petar and Philippa is entitled [A Trusted Infrastructure
The paper by Gabriela, Jose, Petar and Philippa is entitled:[A Trusted Infrastructure
for Symbolic Analysis of Event-Driven Web Applications](https://2020.ecoop.org/track/ecoop-2020-papers#event-overview).
for Symbolic Analysis of Event-Driven Web Applications](https://2020.ecoop.org/track/ecoop-2020-papers#event-overview).
It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events,
It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events,
