Skip to main content
School of Electronic Engineering and Computer Science

Dr Raymond Hu

Raymond

Lecturer in Computer Science

Email: r.hu@qmul.ac.uk
Telephone: 020 7882 5415
Room Number: CS 430, Peter Landin Building

Teaching

Module organiser for ECS401A Procedural Programming

Module organiser for ECS652U Compilers

Research

Publications

Session-based distributed programming in Java
R Hu, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 516-541
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41
Type-safe eventful sessions in Java
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 329-353
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …
Hybrid session verification through endpoint API generation
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
arXiv preprint arXiv:1208.6483
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
R Demangeon, K Honda, R Hu, R Neykova, N Yoshida
Formal Methods in System Design 46 (3), 197-225
Practical interruptible conversations
R Hu, R Neykova, N Yoshida, R Demangeon, K Honda
International Conference on Runtime Verification, 130-148
Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python
R Demangeon, R Hu, R Neykova, N Yoshida
A linear decomposition of multiparty sessions for safe distributed programming
A Scalas, O Dardha, R Hu, N Yoshida
31st European Conference on Object-Oriented Programming (ECOOP 2017)
Explicit connection actions in multiparty session types
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …
A session type provider: compile-time API generation of distributed protocols with refinements in F#
R Neykova, R Hu, N Yoshida, F Abdeljallal
Proceedings of the 27th International Conference on Compiler Construction …
Safe parallel programming with session java
N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis
International Conference on Coordination Languages and Models, 110-126
Distributed programming using role-parametric session types in go: statically-typed endpoint apis for dynamically-instantiated communication structures
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures
D Castro-Perez, R Hu, S Jongmans, C Ng, N Yoshida
Association for Computing Machinery
SPY: local verification of global protocols
R Neykova, N Yoshida, R Hu
International Conference on Runtime Verification, 358-363
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond, 105-127
Structuring Communication with Session Types
R Demangeon, R Hu, K Honda, N Yoshida, TC Chen, R Neykova
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Cambridge University Press
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160
Session-based programming for parallel algorithms: Expressiveness and performance
A Bejleri, R Hu, N Yoshida
arXiv preprint arXiv:1002.0933
Multiparty session nets
L Fossati, R Hu, N Yoshida
International Symposium on Trustworthy Global Computing, 112-127
Distributed programming using Java APIs generated from session types
R Hu
Behavioural Types: from Theory to Tools, 287-308
A linear decomposition of multiparty sessions for safe distributed programming (artifact)
A Scalas, O Dardha, R Hu, N Yoshida
DARTS-Dagstuhl Artifacts Series 3
Statically verified refinements for multiparty protocols
F Zhou, F Ferreira, R Hu, R Neykova, N Yoshida
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30
Secure execution of distributed session programs
N Alves, R Hu, N Yoshida, PM Deniélou
arXiv preprint arXiv:1110.4156
Featherweight Go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
arXiv preprint arXiv:2005.11710
Featherweight Go
R HU, WEN KOKKE, J LANGE, IANL TAYLOR, B TONINHO, P WADLER, ...
Language and Runtime Implementation of Sessions for Java
R Hu, N Yoshida, K Honda
ICOOOLPS 2007
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-38
A linear decomposition of multiparty sessions
A Scalas, O Dardha, R Hu, N Yoshida
Technical report, https://www. doc. ic. ac. uk/~ ascalas/mpst-linear
Structural, safe and high-level communications programming with session types
R Hu
Imperial College London
Safe parallel programming with session java
O Pernet, N Ng, R Hu, N Yoshida, Y Kryftis
Technical Report 14, Department of Computing, Imperial College London
Implementation of a distributed mobile Java
R Hu
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
M Viering, TC Chen, P Eugster, R Hu, L Ziarek
European Symposium on Programming, 799-826
Type-safe Communication in Java with Session Types
R Hu, N Yoshida, K Honda
Dependent Session Types for Evolving Multiparty Communication Topologies
N Yoshida, PM Deniélou, A Bejleri, R Hu
The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming
R Hu, N Yoshida, A Bejleri, K Honda
Draft
Concurrent combinators for mobile processes
R Hu
ISO report, Imperial College London
Dynamic Deadlock Verification for General Barrier Synchronisation
R HU, F MARTINS, N YOSHIDA
Structured, Safe Amd High-level Communications Programming with Session Types
R Hu
Department of Computing, Imperial College London
A Session Programming Tutorial for SessionJ
R Hu
Technology and Medicine
R Hu
Imperial College
Dynamic Runtime Verification of Distributed Programs through Multiparty Session Types
L Bocchi, TC Chen, R Demangeon, PM Deniélou, K Honda, R Hu, ...
Dynamic deadlock verification for general barrier synchronisation
T Soares Cogumbreiro Garcia, R Hu, F Martins, N Yoshida
Behavioral Types in Programming Languages
D Davide Ancona, M Bravetti, PM Deniélou, SJ Gay, N Gesbert, ...
Eventful Sessions: Eventful Sessions: Types, Programming and Bisimilarity
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
Practical interruptible conversations
R Demangeon, K Honda, R Hu, R Neykova, N Yoshida
Safety Assurance Framework for Distributed Systems through Multiparty Session Types
L Bocchi, TC Chen, R Demangeon, PM Deniélou, K Honda, R Hu, ...
Distributed Governance with Scribble
R Hu, R Neykova, N Yoshida
BEAT 2, 83