MobilityReadingGroup

Three papers authored by members of the department were featured at POPL 2025, the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages.
Click here to see the colum in the website of the Department of Computer Science.

The paper ‘On the Preciseness of Subtyping in Session Types’, by Tzu-Chun Chen, Mariangiola Dezani-Cianciaglini, and Nobuko Yoshida will receive the 10-Year Most Influential Paper Award at the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024).

The paper ‘Designing Asynchronous Multiparty Protocols with Crash-Stop Failures’, by Adam Barwell, Ping Hou, Nobuko Yoshida, and Fangyi Zhou, was distinguished at the 37th European Conference on Object-Oriented Programming (ECOOP 2023).

The paper ‘Rollback Recovery in Session Based Programming’, by Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida, has won the best paper award at the 25th International Conference on Coordination Models and Languages (Coordination 2023).

MEng student, Zak Cutner, awarded Microsoft Prize and Distinguished Project award.

Nobuko Yoshida, with Francisco Ferreira and Adam D. Barwell, conducted an interview with the CONCUR Test-of-Time Award winners, Uwe Nestmann and Benjamin C. Pierce. The full interview can be found here

Eva passed her viva today, congratulations Dr. Graversen!

Professor Nobuko Yoshida has been chosen to receive a Suffrage Science award, celebrating the achievements of women in STEM.

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 ‘Language primitives and type discipline for structured communication-based programming’ by Kohei Honda, Vasco T. Vasconcelos and Makoto Kubo, has received the ETAPS 2019 Test-of-Time Award.