Six papers from Department of Computing accepted at POPL 2019

by

Six papers by members of the Department have been accepted at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).

Six papers by members of the Department have been accepted at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), to be held in Cascais/Lisbon, Portugal, January 13-19, 2019. The papers are:

- Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt:
  Skeletal Semantics and their Interpretations

- Simon Castellan, Nobuko Yoshida: Two sides of the same coin: Session Types and Game Semantics

- David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming using Role-Parametric Session Types in Go

- Josà Fragoso Santos, Petar MaksimoviÄ, Gabriela Sampaio, Philippa Gardner: JaVerT 2.0: Compositional Symbolic Execution for JavaScript

- Alceste Scalas, Nobuko Yoshida: Less is More: Multiparty Session Types Revisited

- Bernardo Toninho, Nobuko Yoshida: Interconnectability of Session-Based Logical Processes [ACM TOPLAS journal-first track]


The annual Symposium on Principles of Programming Languages (POPL) is the premier forum for the discussion of all aspects of programming languages and programming systems. This year the competitive conference accepted 77 papers from 267 submissions in the main track, a 28.8% acceptance rate. For the first time in the history of POPL, 3 papers from the ACM Transactions on Programming Languages and Systems (TOPLAS) are accepted to be presented at POPL in the new "journal-first" track.

Reporter

Heather Scott

Heather Scott
Department of Computing

Click to expand or contract

Contact details

Email: press.office@imperial.ac.uk
Show all stories by this author