Imperial College London

Five papers by members of the Department of Computing accepted at OOPSLA 2020

by

Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2020.

OOPSLA is a global annual Programming Languages (PL) conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. ECOOP welcomes high quality research papers relating to these fields in a broad sense. OOPSLA is part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH). SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering.

The papers are listed below in the alphabetical order of the titles:

CAMP: Cost-Aware Multiparty Session Protocols, by David Castro and Nobuko Yoshida

Featherweight Go, by Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler and Nobuko Yoshida, in collaboration with Google, University of Hertfordshire, University of Edinburgh, University of Kent, Universidade Nova de Lisboa and NOVA LINCS

Multiparty Motion Coordination: From Choreographies to Robotics Programs, by Rupak Majumdar, Nobuko Yoshida and Damien Zufferey, in collaboration with Max Planck Institute for Software Systems (MPI-SWS)

Persistent Owicki-Gries Reasoning, by Azalea Raad, Ori Lahav and Viktor Vafeiadis, in collaboration with Tel Aviv University and Max Planck Institute for Software Systems (MPI-SWS)

Statically Verified Refinements for Multiparty Protocols, by Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova and Nobuko Yoshida, in collaboration with University of Hertfordshire and Brunel University London.

Reporter

Ahmed Abdullahi Idle

Ahmed Abdullahi Idle
Department of Computing