π-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.
» more 24 Feb 2020The 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.
» more 11 Apr 2019The 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.
» more 17 Jul 2018Francisco passed his viva today, congratulations Dr. Ferreira!
4 Apr 2018MRG 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.
» more 8 Mar 2018The 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.
» more 10 Jan 2018Estafet has published a page on their usage of the Scribble language developed in our group with RedHat and other industry partners.
» more 25 Sep 2017Nick spoke at Golang UK 2017 on applying behavioural types to verify concurrent Go programs. Click more for details.
» more 22 Sep 2017Our 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.
» more 22 Jul 2017Our recent work Fencing off Go: Liveness and Safety for Channel-based Programming was summarised on The Morning Paper blog.
2 Feb 2017Weizhen passed her viva today, congratulations Dr. Yang!
24 Jan 2017Mariangiola Dezani-Ciancaglini, a long-term collaborator with our group working on Session Types turns 70 today, more details here.
23 Dec 2016Rumyana passed her viva today, congratulations Dr. Neykova!
26 Oct 2016Our group’s Masters project student Fahd Adeljallal gave a talk titled Session Types with Fahd Abdeljallal in a recent F#unctional Londoners Meetup Group meeting on his Masters project which applied Multiparty Session Types on F#.
» more 29 Sep 2016Nobuko gave a talk at Papers We Love / Stange Loop 2016 on the topic of Multiparty Session Types and their Applications to Concurrent and Distributed Systems. Details and slides can be found on the talks page.
» more 15 Sep 2016Roland Kuhn, CTO of Actyx, and one of our industry collaborators, gave a talk titled Distributed Systems vs. Compositionality at Scala World, talked about some of our works.
His slides are on slideshare.
» more 14 Sep 2016Nick gave a talk on Static Deadlock Detection for Go at Golang UK. Details and slides of the talk can be found on the talks page.
» more 18 Aug 2016Nick has been nominated for the 2016 PDC Reps Awards.
7 Jul 2016The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Alhamza Alnaimi for the project titled ‘Near Real-time Distributed Temporal Graph Processing’.
23 Jun 2016The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Reza Abedian (QMUL) and Tian Yang (QMUL) for 2015.
6 Nov 2015The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Filippo Charuttini (QMUL) and Joana Vasileva (QMUL) for 2014.
30 Sep 2015Nicholas passed his viva today, congratulations Dr. Ng!
22 Jan 2015The Kohei Honda Prize for Distributed Systems at QMUL was established and awarded to Mr Valdmir Negacevsci (QMUL) and Ms Anna Pawlicka (QMUL).
17 Dec 2013Dimitris passed his viva today, congratulations Dr. Kouzapas!
21 Jun 2013Tzu-Chun passed her viva today, congratulations Dr. Chen!
20 May 2013