Raymond Hu
Title
Cited by
Cited by
Year
Session-based distributed programming in Java
R Hu, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 516-541, 2008
1982008
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
120*2016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41, 2013
962013
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
952010
Type-safe eventful sessions in Java
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 329-353, 2010
932010
Hybrid session verification through endpoint API generation
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …, 2016
732016
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
arXiv preprint arXiv:1208.6483, 2012
702012
Practical interruptible conversations
R Hu, R Neykova, N Yoshida, R Demangeon, K Honda
International Conference on Runtime Verification, 130-148, 2013
582013
Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python
R Demangeon, R Hu, R Neykova, N Yoshida
58*2013
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
R Demangeon, K Honda, R Hu, R Neykova, N Yoshida
Formal Methods in System Design 46 (3), 197-225, 2015
562015
A linear decomposition of multiparty sessions for safe distributed programming
A Scalas, O Dardha, R Hu, N Yoshida
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
472017
Safe parallel programming with session java
N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis
International Conference on Coordination Languages and Models, 110-126, 2011
392011
Explicit connection actions in multiparty session types
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …, 2017
352017
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond, 105-127, 2014
342014
Structuring Communication with Session Types
R Demangeon, R Hu, K Honda, N Yoshida, TC Chen, R Neykova
34*2014
SPY: local verification of global protocols
R Neykova, N Yoshida, R Hu
International Conference on Runtime Verification, 358-363, 2013
332013
A session type provider: compile-time API generation of distributed protocols with refinements in F#
R Neykova, R Hu, N Yoshida, F Abdeljallal
Proceedings of the 27th International Conference on Compiler Construction …, 2018
312018
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Cambridge University Press, 2015
292015
Distributed programming using role-parametric session types in go: statically-typed endpoint apis for dynamically-instantiated communication structures
D Castro, R Hu, SS Jongmans, N Ng, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
282019
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
262015
The system can't perform the operation now. Try again later.
Articles 1–20