csperkins.org

Multi-Service Networks 2023

I attended at the 35th Multi-Service Networks Workshop at the Cosener's House in Abingdon last week, along with most of my research group (except for Vivian, who's currently on an internship at IIJ Research Laboratory in Tokyo). It was great to catch up with people again after several years of online attendance during the pandemic — this is one meeting that benefits from being there in-person!

The Cosener's House

During the meeting, Ivan Nikitin gave a talk about his PhD work, supervised by myself and Ornela Dardha, on the use of session types to model network protocols. Ivan introduced the idea of session types and outlined how it's possible to represent the communication patterns of network protocols in a type system to help check protocol specifications for correctness. He showed an encoding of session types into the Rust language and how this can be used to build a partial TCP implementation that is typed-checked to conform to the specification.

Ivan Nikitin presenting

A number of our collaborators from Queen Mary University of London were also at the meeting. Matthew Barnes spoke about his work on temporal network analysis of email communication patterns in the IETF. He's looking at the communication patterns in the IETF social graph, and how they change over time, and on the influence of individuals on their neighbours in the social graph. His initial results show the importance of working group chairs as facilitators in the IETF process and how they drive increased communication and interaction in their direct contact to move the work of IETF forward.

Matthew Barnes presenting Ignacio Castro presenting

Ignacio Castro from Queen Mary also outlined some of the work we've done in the EPSRC Streamlining Social Decision Making for Improved Internet Standards project, and briefly highlighted some of the key results we presented in our ACL'23, TMA'23, ICWSM'22 and IMC'21 papers.