Two papers by members of the group have been accepted at the 34th European Conference on Object-Oriented Programming, ECOOP 2020.
The paper by Gabriela, Jose, Petar and Philippa is entitled: A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.
Shale, Andrea, Azalea and Philippa’s paper, Data Consistency in Transactional Storage Systems: A Centralised Semantics, presents an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores.
ECOOP 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!