MobilityReadingGroup

π-calculus, Session Types research at Imperial College

News: CC 2020 Best Paper Award
24 Feb 2020

The paper ‘Compiling First-order Functions to Session-Typed Parallel Code’, by David Castro-Perez and Nobuko Yoshida, has won the best paper award at the 29th ACM SIGPLAN International Conference on Compiler Construction.

The paper can be found here, as well as in our website. The tool accompanying the paper can be downloaded here.