MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Raymond Hu

Research Associate

www
dblp

I am an RA at Imperial College London working primarily on the design and application of session types to practice. My recent and current work includes a graphical integration of multiparty session types and Petri nets, and the Scribble framework for multiparty session types verification in existing mainstream languages such as Java and Python. I have also recently worked on deadlock verification for advanced barrier-based concurrent programs. I completed my PhD at Imperial College London in 2011.

Raymond is now at Queen Mary University of London

Publications

2020

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida: Featherweight Go. OOPSLA 2020 : 149:1 - 149:29.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Statically Verified Refinements for Multiparty Protocols. OOPSLA 2020 : 148:1 - 148:30.

2019

David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming Using Role Parametric Session Types in Go. POPL 2019 : 29:1 - 29:30.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. TOPLAS : 1 - 38.

2018

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal: A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#. CC 2018 : 128 - 138.

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 : 799 - 826.

2017

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017 : 24:1 - 24:31.

Raymond Hu: Distributed Programming Using Java APIs Generated from Session Types. Behavioural Types: from Theory to Tools : 287 - 308.

Raymond Hu, Nobuko Yoshida: Explicit Connection Actions in Multiparty Session Types. FASE 2017 : 116 - 133.

2016

Raymond Hu, Nobuko Yoshida: Hybrid Session Verification through Endpoint API Generation. FASE 2016 : 401 - 418.

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. FTPL : 95 - 230.

2015

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015 : 150 - 160.

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda: On Asynchronous Eventful Session Semantics. MSCS : 1 - 62.

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. FMSD : 1 - 29.

2014

Luca Fossati, Raymond Hu, Nobuko Yoshida: Multiparty Session Nets. TGC 2014 : 112 - 127.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida: Structuring Communication with Session Types. COB 2014 : 105 - 127.

2013

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon: Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python. RV 2013 : 148 - 130.

Rumyana Neykova, Nobuko Yoshida, Raymond Hu: SPY: Local Verification of Global Protocols. RV 2013 : 363 - 358.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng: The Scribble Protocol Language. TGC 2013 : 22 - 41.

2012

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu: Parameterised Multiparty Session Types. LMCS .

2011

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis: Safe Parallel Programming with Session Java. COORDINATION 2011 : 110 - 126.

2010

Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou: Secure Execution of Distributed Session Programs. PLACES 2010 : 1 - 11.

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010 : 329 - 353.

2009

Andi Bejleri, Raymond Hu, Nobuko Yoshida: Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. PLACES 2009 : 17 - 29.

2008

Raymond Hu, Nobuko Yoshida, Kohei Honda: Session-Based Distributed Programming in Java. ECOOP 2008 : 516 - 541.