π-calculus, Session Types research at the University of Oxford
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.
» moreThe 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.
» moreThe paper ‘A fully abstract game semantics for general references’ by Samson Abramsky, Kohei Honda and Guy McCusker, has received the LICS Test-of-Time Award.
» moreMRG members Rumyana Neykova and Nobuko Yoshida organised a successful tutorial on Improving security with reversibility and session types at the International Symposium on Code Generation and Optimization (CGO2018) in Vienna, Austria.
» moreThe paper Multiparty asynchronous session types by Kohei Honda, Nobuko Yoshida, and Marco Carbone, published in POPL 2008 has been awarded the ACM SIGPLAN Most Influential POPL Paper Award today at POPL 2018.
» moreEstafet has published a page on their usage of the Scribble language developed in our group with RedHat and other industry partners.
» moreNick spoke at Golang UK 2017 on applying behavioural types to verify concurrent Go programs. Click more for details.
» moreOur group’s Assel, co-organised a successful Summer Codeathon for the Anita Borg Institute London chapter.
Some of our group’s members Nick and Rumi also participated in the codeathon as programming mentors.
» moreOur recent work Fencing off Go: Liveness and Safety for Channel-based Programming was summarised on The Morning Paper blog.