Skip to main content
Research
  1. Queen Mary University of London
  2. Research
  3. Publications

Publications: Dr Raymond Hu

Back to Search
Pears J, Bocchi L, Hu R ( 2024 ) . Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors . Conference: Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang33 - 44 .
Costa D, Hu R ( 2024 ) . Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software . Electronic Proceedings in Theoretical Computer Science vol. 401 ,
Iraci G, Chuang C-E, Hu R, Ziarek L ( 2023 ) . Validating IoT Devices with Rate-Based Session Types . Proceedings of the ACM on Programming Languages vol. 7 , ( OOPSLA 2 ) Article 278 , 1589 - 1617 .
Viering M, Hu R, Eugster P, Ziarek L ( 2021 ) . A multiparty session typing discipline for fault-tolerant event-driven distributed programming . Proceedings of the ACM on Programming Languages vol. 5 , ( OOPSLA ) 1 - 30 .
Griesemer R, Hu R, Kokke W, Lange J, Taylor IL, Toninho B, Wadler P, Yoshida N ( 2020 ) . Featherweight go . Proceedings of the ACM on Programming Languages vol. 4 , ( OOPSLA ) 1 - 29 .
Zhou F, Ferreira F, Hu R, Neykova R, Yoshida N ( 2020 ) . Statically verified refinements for multiparty protocols . Proceedings of the ACM on Programming Languages vol. 4 , ( OOPSLA ) 1 - 30 .
Castro D, Hu R, Jongmans S-S, Ng N, Yoshida N ( 2019 ) . Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures . Proceedings of the ACM on Programming Languages vol. 3 , ( POPL ) 1 - 30 .
Cogumbreiro T, Hu R, Martins F, Yoshida N ( 2018 ) . Dynamic Deadlock Verification for General Barrier Synchronisation . ACM Transactions on Programming Languages and Systems vol. 41 , ( 1 ) 1 - 38 .
Viering M, Chen T-C, Eugster P, Hu R, Ziarek L ( 2018 ) . A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems . Lecture Notes in Computer Science . vol. 10801 , 799 - 826 .
Neykova R, Hu R, Yoshida N, Abdeljallal F ( 2018 ) . A session type provider: compile-time API generation of distributed protocols with refinements in F# . Conference: Proceedings of the 27th International Conference on Compiler Construction128 - 138 .
Hu R ( 2017 ) . Distributed programming using Java APIs generated from session types . Behavioural Types: from Theory to Tools English ,
Scalas A, Dardha O, Hu R, Yoshida N ( 2017 ) . A linear decomposition of multiparty sessions for safe distributed programming . Leibniz International Proceedings in Informatics, LIPIcs . vol. 74 , 241 - 2431 .
Hu R, Yoshida N ( 2017 ) . Explicit Connection Actions in Multiparty Session Types . Lecture Notes in Computer Science . vol. 10202 , 116 - 133 .
Ancona D, Bono V, Bravetti M, Campos J, Castagna G, Deniélou P-M, Gay SJ, Gesbert N et al. ( 2016 ) . Behavioral Types in Programming Languages . Foundations and Trends® in Programming Languages vol. 3 , ( 2-3 ) 95 - 230 .
Hu R, Yoshida N ( 2016 ) . Hybrid Session Verification Through Endpoint API Generation . Lecture Notes in Computer Science . vol. 9633 , 401 - 418 .
Cogumbreiro T, Hu R, Martins F, Yoshida N ( 2015 ) . Dynamic deadlock verification for general barrier synchronisation . Conference: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming150 - 160 .
Fossati L, Hu R, Yoshida N ( 2014 ) . Multiparty Session Nets . Lecture Notes in Computer Science vol. 8902 , 112 - 127 .
Demangeon R, Honda K, Hu R, Neykova R, Yoshida N ( 2014 ) . Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python . Formal Methods in System Design vol. 46 , ( 3 ) 197 - 225 .
KOUZAPAS D, YOSHIDA N, HU R, HONDA K ( 2014 ) . On asynchronous eventful session semantics . Mathematical Structures in Computer Science vol. 26 , ( 2 ) 303 - 364 .
Yoshida N, Hu R, Neykova R, Ng N ( 2014 ) . The Scribble Protocol Language . Lecture Notes in Computer Science . vol. 8358 , 22 - 41 .
Honda K, Hu R, Neykova R, Chen T-C, Demangeon R, Deniélou P-M, Yoshida N ( 2014 ) . Structuring Communication with Session Types . Lecture Notes in Computer Science . vol. 8665 , 105 - 127 .
Hu R, Neykova R, Yoshida N, Demangeon R, Honda K ( 2013 ) . Practical interruptible conversations: Distributed dynamic verification with session types and Python . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 8174 LNCS , 130 - 148 .
Hu R, Neykova R, Yoshida N, Demangeon R, Honda K ( 2013 ) . Practical Interruptible Conversations . Runtime Verification , vol. 8174 , Springer Nature
Neykova R, Yoshida N, Hu R ( 2013 ) . SPY: Local Verification of Global Protocols . Lecture Notes in Computer Science . vol. 8174 , 358 - 363 .
Denielou P-M, Yoshida N, Bejleri A, Hu R ( 2012 ) . Parameterised Multiparty Session Types . Logical Methods in Computer Science vol. Volume 8, Issue 4 ,
Ng N, Yoshida N, Pernet O, Hu R, Kryftis Y ( 2011 ) . Safe Parallel Programming with Session Java . Lecture Notes in Computer Science . vol. 6721 , 110 - 126 .
Bejleri A, Hu R, Yoshida N . Session-Based Programming for Parallel Algorithms: Expressiveness and Performance . Electronic Proceedings in Theoretical Computer Science . vol. 17 , 17 - 29 .
Yoshida N, Deniélou P-M, Bejleri A, Hu R ( 2010 ) . Parameterised Multiparty Session Types . Lecture Notes in Computer Science . vol. 6014 , 128 - 145 .
Hu R, Kouzapas D, Pernet O, Yoshida N, Honda K ( 2010 ) . Type-Safe Eventful Sessions in Java . ECOOP 2010 – Object-Oriented Programming , vol. 6183 , Springer Nature
HONDA K, Hu R, Yoshida N ( 2008 ) . Session-Based Distributed Programming in Java . Proceedings of the 22nd European conference on Object-Oriented Programming (ECOOP '08) . vol. 5142 , 516 - 541 .
Back to Search