Prestigious award for ITU researcher
Marco Carbone, Associate Professor in the Computer Science Department at the IT University of Copenhagen, has won the Most Influential Paper Award at the world’s leading conference on the theory of programming languages.
Computer Science DepartmentResearchMarco Carboneawardsprogramming languages
Written 22 January, 2018 14:19 by Vibeke Arildsen
Marco Carbone, Kohei Honda and Nobuko Yoshida won the ‘Most Influential POPL Paper Award’ for the paper ’Multiparty asynchronous session types’ at the Symposium on Principles of Programming Languages (POPL), the flagship conference on the theory of programming languages organised by ACM SIGPLAN.
The award is given to the most influential paper presented at the conference 10 years prior to the award year.
The selection committee wrote the following about the paper:
“Session types are a type-based framework for codifying communication structures and verifying protocols in concurrent, message-passing programs. Previously, session types could only model binary (two-party) protocols. This paper generalizes the theory to the multiparty case with asynchronous communications, preventing deadlock and communication errors in more sophisticated communication protocols involving any number (two or more) of participants. The central idea was to introduce global types, which describe multiparty conversations from a global perspective and provide a means to check protocol compliance. This work has inspired numerous authors to build on its pioneering foundations in the session types community and has initiated many applications of multiparty session types in programming languages and tools. It has also influenced other areas of research, such as software contracts, runtime verification and hardware specifications.”
Read more.
Marco Carbone, Associate Professor and Head of Programme, phone +45 7218 5067, email maca@itu.dk
Vibeke Arildsen, Press Officer, phone 2555 0447, email viar@itu.dk