Skip to main content
Research

Publications: Dr Raymond Hu

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 .
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 .
Honda K, Hu R, Neykova R, Chen T-C, Demangeon R, Deniélou P-M, Yoshida N ( 2014 ) . Structuring Communication with Session Types . 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
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 .