Raymond Hu

According to our database, Raymond Hu authored at least 27 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Validating IoT Devices with Rate-Based Session Types.

Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek

Proc. ACM Program. Lang., October, 2023

2021

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

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, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

2019

Dynamic Deadlock Verification for General Barrier Synchronisation.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2019

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

2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek

Proceedings of the Programming Languages and Systems, 2018

A session type provider: compile-time API generation of distributed protocols with refinements in F#.

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2017

Explicit Connection Actions in Multiparty Session Types.

Raymond Hu, Nobuko Yoshida

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

On asynchronous eventful session semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Hybrid Session Verification Through Endpoint API Generation.

Raymond Hu, Nobuko Yoshida

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Formal Methods Syst. Des., 2015

2014

Multiparty Session Nets.

Luca Fossati, Raymond Hu, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

The Scribble Protocol Language.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

SPY: Local Verification of Global Protocols.

Rumyana Neykova, Nobuko Yoshida, Raymond Hu

Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

Log. Methods Comput. Sci., 2012

2011

Structural, safe and high-level communications programming with session types.

Raymond Hu

PhD thesis, 2011

Safe Parallel Programming with Session Java.

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Secure Execution of Distributed Session Programs

Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Type-Safe Eventful Sessions in Java.

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2010, 2010

2009

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

Andi Bejleri, Raymond Hu, Nobuko Yoshida

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

2008

Session-Based Distributed Programming in Java.

Raymond Hu, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2008, 2008