Publications: Dr Raymond Hu

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 ( 2015 ) . Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python . Formal Methods in System Design vol. 46 , ( 3 ) 197 - 225 .

Honda K, Hu R, Neykova R, Chen TC, Demangeon R, Deníelou PM, Yoshida N ( 2014 ) . Structuring communication with session types . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . 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 ,

Hu R, Kouzapas D, Pernet O, Yoshida N, Honda K ( 2010 ) . Type-safe eventful sessions in Java . vol. 6183 LNCS ,

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 .