Paper from the Department of Computing has won the best paper award at CC 2020

by

Certificate

29th ACM SIGPLAN International Conference on Compiler Construction

The paper entitled "Compiling First-Order Functions to Session-Typed
Parallel Code", by Nobuko Yoshida and David Castro-Perez of the
Department of Computing, has won the best paper award at the 29th ACM
SIGPLAN International Conference on Compiler Construction.

The paper introduces a new parallel programming framework that
combines the Algebra of Programming with Multiparty Session Types. In
this framework, programmers can annotate their functions with
'participant annotations', that are then used to generate both
parallel code, and a description of the communication protocol
followed by the output parallel code. This communication protocol is
then used to optimise further the code, by removing unnecessary
synchronisation. The paper is available from the Mobility Reading Group website.




Reporter

Mr Ahmed Idle

Mr Ahmed Idle
Department of Computing