Dr Raymond Hu

Raymond Hu

Lecturer in Computer Science

School of Electronic Engineering and Computer Science
Queen Mary University of London
www.qmul.ac.uk/eecs/people/profiles/huraymond.html
Centre for Fundamental Computer Science
ORCID Google Scholar

Research

Programming languages, Distributed programming, Type systems, Session types, Behavioural types

Interests

Recent and current topics

See my Google Scholar page for a more complete publication list.
Here are some selected topics and publications.
  • Design and implementation of generics for the Go programming language. Go is a programming language developed by Google, and used by many companies and organisations globally. This work is a collaboration between researchers and the Go Team at Google. The impact includes contributing to the final design of generics released in Go 1.18.
    https://doi.org/10.1145/3428217
  • Theory, implementation and applications of session types. This line of work has developed languages and practical tools for formal specification and safe programming of message passing protocols for concurrent and distributed systems. It stems from industry collaborations with Red Hat, Cognizant and the Ocean Observatories Initiative.
  • Run-time deadlock verification for phasers. A generalisation of the concept of synchronisation barrier in concurrent programming that allows processes to asynchronously advance to later synchronisation phases ahead of their peers.
    https://doi.org/10.1145/3229060


Recent news

  • I am helping to organise TIME 2025 at QMUL. Please consider submitting, submission deadline 20th May!
  • I was a jury member for the PhD exam of Carlos Jorge Velez Mão de Ferro, whose thesis has been approved with distinction. Congratulations, Dr de Ferro!
  • Our paper on timed session programming in Erlang is accepted at ERLANG '24.
  • My project student Dawid Lachowicz won the Kohei Honda Prize for his Final Year Project on extending Go with generic arrays. Congratulations, Dawid!
  • I participated and learned a lot at the Dagtushl Seminar “Next Generation Protocols for Heterogeneous Systems”.
  • My co-authors Grant Iraci and Cheng-En Chuang won a prize in the Russell L. Agrusa Student Innovation Competition at the University at Buffalo for our work on rate-based session types.
  • I am co-chair of the PLACES '24 workshop (part of ETAPS '24) with Diana Costa. Please consider submitting and attending!
  • Our software artifact for our paper at OOPSLA '23 won the OOPSLA Distinguished Artifact award.
  • I was a discussion panel member at the ST30 "30 Years of Session Types" workshop at SPLASH '23.
  • I received a "Best early-career educator" award (2023/24) from the School of EECS at QMUL.
  • Our paper on event-driven multiparty session actors is accepted at HOPE '23.
  • Our paper on rate-safe session types for embedded systems and IoT is accepted at OOPSLA '23.
  • I gave an invited talk at the Stardust Project meeting (Sep '22).
  • I was a member of the PhD Committee for Malte Viering, whose thesis has been accepted with the grade of "excellent" (summa cum laude). Congratulations, Dr Viering!
  • I gave an invited seminar at the University of Kent about our work on session types for fault-tolerant event-driven programming (Dec '21).
  • I participated in the Dagstuhl Seminar "Behavioural Types: Bridging Theory and Practice".
  • Our paper on session types for fault-tolerant event-driven programming is accepted at OOPSLA '21.


General research interests

Programming languages
Distributed programming
Concurrency and communication
Message passing
Type systems
Session types
Behavioural types