Follow
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
2062008
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
1632016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41, 2013
1232013
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
1022010
Hybrid session verification through endpoint API generation
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …, 2016
962016
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
952010
Parameterised multiparty session types
R Hu, A Bejleri, N Yoshida, PM Denielou
Logical Methods in Computer Science 8, 2012
872012
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
732017
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
712015
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
642019
Explicit connection actions in multiparty session types
R Hu, N Yoshida
International Conference on Fundamental Approaches to Software Engineering …, 2017
612017
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
592018
Practical interruptible conversations
R Hu, R Neykova, N Yoshida, R Demangeon, K Honda
International Conference on Runtime Verification, 130-148, 2013
592013
SPY: local verification of global protocols
R Neykova, N Yoshida, R Hu
International Conference on Runtime Verification, 358-363, 2013
392013
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
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
352016
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
352014
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
292015
Statically verified refinements for multiparty protocols
F Zhou, F Ferreira, R Hu, R Neykova, N Yoshida
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
282020
Featherweight Go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
arXiv preprint arXiv:2005.11710, 2020
162020
The system can't perform the operation now. Try again later.
Articles 1–20