Session-Based Distributed Programming in Java. - Raymond Hu; Nobuko Yoshida; Kohei Honda 001 (ECOOP, 2008)

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance - Andi Bejleri; Raymond Hu; Nobuko Yoshida (PLACES, 2009)

Type-Safe Eventful Sessions in Java. - Raymond Hu; Dimitrios Kouzapas; Olivier Pernet; Nobuko Yoshida; Kohei Honda 001 (ECOOP, 2010)

Secure Execution of Distributed Session Programs - Nuno Alves; Raymond Hu; Nobuko Yoshida; Pierre-Malo Deniélou (PLACES, 2010)

Safe Parallel Programming with Session Java. - Nicholas Ng; Nobuko Yoshida; Olivier Pernet; Raymond Hu; Yiannos Kryftis (COORDINATION, 2011)

Structural, safe and high-level communications programming with session types. - Raymond Hu (2011)

Parameterised Multiparty Session Types - Pierre-Malo Deniélou; Nobuko Yoshida; Andi Bejleri; Raymond Hu (Log. Methods Comput. Sci., 2012)

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. - Raymond Hu; Rumyana Neykova; Nobuko Yoshida; Romain Demangeon; Kohei Honda 001 (RV, 2013)

SPY: Local Verification of Global Protocols. - Rumyana Neykova; Nobuko Yoshida; Raymond Hu (RV, 2013)

The Scribble Protocol Language. - Nobuko Yoshida; Raymond Hu; Rumyana Neykova; Nicholas Ng (TGC, 2013)

Structuring Communication with Session Types. - Kohei Honda 001; Raymond Hu; Rumyana Neykova; Tzu-Chun Chen; Romain Demangeon; Pierre-Malo Deniélou; Nobuko Yoshida (Concurrent Objects and Beyond, 2014)

Multiparty Session Nets. - Luca Fossati; Raymond Hu; Nobuko Yoshida (TGC, 2014)

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. - Romain Demangeon; Kohei Honda 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Formal Methods Syst. Des., 2015)

Hybrid Session Verification Through Endpoint API Generation. - Raymond Hu; Nobuko Yoshida (FASE, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

On asynchronous eventful session semantics. - Dimitrios Kouzapas; Nobuko Yoshida; Raymond Hu; Kohei Honda 001 (Math. Struct. Comput. Sci., 2016)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (ECOOP, 2017)

Explicit Connection Actions in Multiparty Session Types. - Raymond Hu; Nobuko Yoshida (FASE, 2017)

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). - Alceste Scalas; Ornela Dardha; Raymond Hu; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2017)

A session type provider: compile-time API generation of distributed protocols with refinements in F#. - Rumyana Neykova; Raymond Hu; Nobuko Yoshida; Fahd Abdeljallal (CC, 2018)

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. - Malte Viering; Tzu-Chun Chen; Patrick Eugster; Raymond Hu; Lukasz Ziarek (ESOP, 2018)

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. - David Castro-Perez; Raymond Hu; Sung-Shik Jongmans; Nicholas Ng; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Dynamic Deadlock Verification for General Barrier Synchronisation. - Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2019)

Statically verified refinements for multiparty protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Featherweight go. - Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho; Philip Wadler; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

Statically Verified Refinements for Multiparty Protocols. - Fangyi Zhou 002; Francisco Ferreira 001; Raymond Hu; Rumyana Neykova; Nobuko Yoshida (Zenodo, 2020)

A multiparty session typing discipline for fault-tolerant event-driven distributed programming. - Malte Viering; Raymond Hu; Patrick Eugster; Lukasz Ziarek (Proc. ACM Program. Lang., 2021)

Validating IoT Devices with Rate-Based Session Types. - Grant Iraci; Cheng-En Chuang; Raymond Hu; Lukasz Ziarek (Proc. ACM Program. Lang., 2023)

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. - Jonah Pears; Laura Bocchi; Raymond Hu (Erlang, 2024)