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
.