π-calculus, Session Types research at Imperial College
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.