Dr Raymond Hu

Profile

Raymond Hu is a Lecturer in Computer Science in the School of Electronic Engineering and Computer Science (EECS) at Queen Mary University of London.  He received a BA from the University of Cambridge, and an MSc and PhD from Imperial College London.

He is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS.  His research interests include programming languages, specification and verification of concurrent and distributed systems, type systems, session types and behavioural types.

See the Research tab for more info and Google Scholar for a list of his publications.

Teaching

Module organiser for IOT401U Procedural Programming (Semester A).

Module organiser for ECS652U Compilers (Semester B).

Please see the QMplus pages for all details.

Research

Research Interests:

Current and recent topics

Following are some selected topics and publications.
See my Google Scholar page for a more complete publication list: [Google Scholar]

• Design and implementation of generics for the Go programming language.
        https://doi.org/10.1145/3428217
  
  
• Theory, implementation and applications of session types.
  • Rate-safe session types for embedded systems and Internet-of-Things.
          https://doi.org/10.1145/3622854
    
    
  • Combining multiparty sessions and event-driven actors
          https://simonjf.com/misc/hope23.pdf (preprint)
    
    
  • Failure handling and fault tolerance.
          https://doi.org/10.1145/3485501
          https://doi.org/10.1007/978-3-319-89884-1_28
    
    
  • Refinement types for communication protocols.
          https://doi.org/10.1145/3428216
          https://doi.org/10.1145/3178372.3179495
    
    
  • Communication protocols parameterised on the number of participants.
          https://doi.org/10.1145/3290342
    
    
• Run-time deadlock verification for asynchronous barriers
        https://doi.org/10.1145/3229060

Recent news

• 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 2023 won the OOPSLA Distinguished Artifact award.
• I was a discussion panel member at the ST30 "30 Years of Session Types" workshop at SPLASH 2023.
• I received a "Best early-career educator" award (2023) 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 2023.
• I gave an invited talk at the Stardust Project meeting (Sep 2022).
• I gave an invited seminar at the University of Kent about our work on session types for fault-tolerant event-driven programming (Dec 2021).
• 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 2021.

General research interests

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

Publications