Raymond Hu

37 papers A 4B 7C 1Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mixed Choice in Asynchronous Multiparty Session Types.
CoRR
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon J. Thompson
2026 J jnl
Speak Now: Safe Actor Programming with Multiparty Session Types.
CoRR
Simon Fowler, Raymond Hu
2026 J jnl
Welterweight Go: Boxing, Structural Subtyping, and Generics.
Proc. ACM Program. Lang.
Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, Keith Randall
2025 J jnl
Rate-Based Session Types for IoT Systems.
ACM Trans. Program. Lang. Syst.
Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
2024 — conf
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors.
Erlang
Jonah Pears, Laura Bocchi, Raymond Hu
2024 — ed.
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.
PLACES@ETAPS
Diana Costa, Raymond Hu
2023 J jnl
Validating IoT Devices with Rate-Based Session Types.
Proc. ACM Program. Lang.
Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
2021 J jnl
A multiparty session typing discipline for fault-tolerant event-driven distributed programming.
Proc. ACM Program. Lang.
Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek
2020 J jnl
Featherweight Go.
CoRR
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Featherweight go.
Proc. ACM Program. Lang.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Statically Verified Refinements for Multiparty Protocols.
CoRR
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2019 J jnl
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
2019 J jnl
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2018 A conf
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
ESOP
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
2018 B conf
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
CC
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
2017 J jnl
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 A conf
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
ECOOP
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 B conf
Explicit Connection Actions in Multiparty Session Types.
FASE
Raymond Hu, Nobuko Yoshida
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016 B conf
Hybrid Session Verification Through Endpoint API Generation.
FASE
Raymond Hu, Nobuko Yoshida
2016 J jnl
On asynchronous eventful session semantics.
Math. Struct. Comput. Sci.
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
2015 B conf
Dynamic deadlock verification for general barrier synchronisation.
PPoPP
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2015 J jnl
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 — conf
Multiparty Session Nets.
TGC
Luca Fossati, Raymond Hu, Nobuko Yoshida
2014 — conf
Structuring Communication with Session Types.
Concurrent Objects and Beyond
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2013 B conf
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
RV
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2013 B conf
SPY: Local Verification of Global Protocols.
RV
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
2013 — conf
The Scribble Protocol Language.
TGC
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2012 J jnl
Parameterised Multiparty Session Types
Log. Methods Comput. Sci.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
2011 C conf
Safe Parallel Programming with Session Java.
COORDINATION
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
2011 — —
Structural, safe and high-level communications programming with session types.
Raymond Hu
2010 B conf
Parameterised Multiparty Session Types.
FoSSaCS
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
2010 — conf
Secure Execution of Distributed Session Programs
PLACES
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
2010 A conf
Type-Safe Eventful Sessions in Java.
ECOOP
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2009 — conf
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
PLACES
Andi Bejleri, Raymond Hu, Nobuko Yoshida
2008 A conf
Session-Based Distributed Programming in Java.
ECOOP
Raymond Hu, Nobuko Yoshida, Kohei Honda