Raymond Hu

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 17

Top Venues

Proc. ACM Program. Lang.

CoRR

FASE

Math. Struct. Comput. Sci.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Jonah Pears, Laura Bocchi, Raymond Hu
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. Erlang (2024)
Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek
A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically Verified Refinements for Multiparty Protocols. CoRR (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3 (POPL) (2019)
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP (2018)
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC (2018)
Raymond Hu, Nobuko Yoshida
Explicit Connection Actions in Multiparty Session Types. FASE (2017)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP (2017)
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26 (2) (2016)
Raymond Hu, Nobuko Yoshida
Hybrid Session Verification Through Endpoint API Generation. FASE (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic deadlock verification for general barrier synchronisation. PPOPP (2015)
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46 (3) (2015)
Luca Fossati, Raymond Hu, Nobuko Yoshida
Multiparty Session Nets. TGC (2014)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV (2013)
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
The Scribble Protocol Language. TGC (2013)
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
SPY: Local Verification of Global Protocols. RV (2013)
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types Log. Methods Comput. Sci. 8 (4) (2012)
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
Safe Parallel Programming with Session Java. COORDINATION (2011)
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
Secure Execution of Distributed Session Programs PLACES (2010)
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
Type-Safe Eventful Sessions in Java. ECOOP (2010)
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types. FoSSaCS (2010)
Andi Bejleri, Raymond Hu, Nobuko Yoshida
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance PLACES (2009)
Raymond Hu, Nobuko Yoshida, Kohei Honda
Session-Based Distributed Programming in Java. ECOOP (2008)

Raymond Hu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Raymond Hu