Raymond Hu -

Registered user since Thu 7 Oct 2021

Name:Raymond Hu

Country:United Kingdom

Affiliation:Queen Mary University of London

Personal website: https://www.seresearch.qmul.ac.uk/cfcs/people/rhu

GitHub: https://github.com/rhu1

Contributions

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track
Author of Mixed Choice in Asynchronous Multiparty Session Types within the OOPSLA-track
Author of Speak Now: Safe Actor Programming with Multiparty Session Types within the OOPSLA-track

POPL

Author of Welterweight Go: Boxing, Structural Subtyping, and Generics within the POPL-track

2024

Erlang

Author of Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors within the Erlang-track

2023

SPLASH

Author of Validating IoT Devices with Rate-Based Session Types within the OOPSLA-track

ST

Author of Future Directions for Session Types within the ST30-track

HOPE

Author of Event-Driven Multiparty Session Actors within the HOPE 2023-track

2021

SPLASH

Author of A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming within the OOPSLA-track