Seven papers by members of the Department of Computing have been accepted at the 34th European Conference on Object-Oriented Programming, ECOOP 2020
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense.
The papers are listed below in the alphabetical order of the titles:
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications, by Gabriela Sampaio, José Fragoso Santos, Petar Maksimovi?, Philippa Gardner. The paper is joint work with INESC-ID/Instituto Superior Técnico, Portugal.
Data Consistency in Transactional Storage Systems: A Centralised Semantics, by Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner (joint work with ARM Research, Football Radar and MPI SWS)
Multiparty Session Programming with Global Protocol Combinators, by Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen (joint work with Gifu University, Brunel University London and Nagoya University)
Putting Randomized Compiler Testing into Production, by Alastair Donaldson, Hugues Evrard, Paul Thomson (joint work with Google)
Reshape your layouts, not your programs: A safe language extension for better cache locality, by Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach
Static Race Detection and Mutex Safety and Liveness for Go Programs, by Julia Gabet, Nobuko Yoshida
Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer, by David R. MacIver, Alastair Donaldson
Article text (excluding photos or graphics) © Imperial College London.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.
Reporter
Mr Ahmed Idle
Department of Computing
