| 2018 | CC | A session type provider: compile-time API generation of distributed protocols with refinements in F#. | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
| 2018 | ESOP | A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. | Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
| 2017 | ECOOP | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. | Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
| 2017 | FASE | Explicit Connection Actions in Multiparty Session Types. | Raymond Hu, Nobuko Yoshida |
| 2016 | FASE | Hybrid Session Verification Through Endpoint API Generation. | Raymond Hu, Nobuko Yoshida |
| 2015 | PPoPP | Dynamic deadlock verification for general barrier synchronisation. | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
| 2013 | RV | Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. | Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda |
| 2013 | RV | SPY: Local Verification of Global Protocols. | Rumyana Neykova, Nobuko Yoshida, Raymond Hu |
| 2011 | Coordination | Safe Parallel Programming with Session Java. | Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis |
| 2010 | ECOOP | Type-Safe Eventful Sessions in Java. | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda |
| 2010 | FOSSACS | Parameterised Multiparty Session Types. | Nobuko Yoshida, Pierre-Malo Denilou, Andi Bejleri, Raymond Hu |
| 2008 | ECOOP | Session-Based Distributed Programming in Java. | Raymond Hu, Nobuko Yoshida, Kohei Honda |