51³Ô¹ÏÍø

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
.

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 .