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
.