2020-04-27-ecoop20.md 1.79 KB
Newer Older
1
---
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
title: Papers accepted at ECOOP 2020
---

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 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).

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, 
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. The implementations follow the API respective standards 
line-by-line and have been thoroughly tested. An associated artifact was also 
accepted by the evaluation committee.

Shale, Andrea, Azalea and Philippa's paper, [Data Consistency in Transactional Storage Systems: 
20 21
A Centralised Semantics](https://2020.ecoop.org/details/ecoop-2020-papers/21/Data-Consistency-in-Transactional-Storage-Systems-A-Centralised-Semantics), 
presents novel interleaving operational semantics for 
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
22
describing the client-observable behaviour of atomic transactions 
23
on distributed key-value stores.
Teresa Carbajo-Garcia's avatar
Teresa Carbajo-Garcia committed
24 25 26 27 28 29 30 31

ECOOP, the European Conference on Object-Oriented Programming, is Europe’s longest-standing annual 
Programming Languages (PL) conference, bringing together researchers, 
practitioners, and students working on all topics related to programming languages, 
software development, object-oriented technologies, 
systems and applications. All being well, this year's conference will take place in Berlin in July.

Congratulations to all!