Follow
Raymond Hu
Title
Cited by
Cited by
Year
Session-based distributed programming in Java
R Hu, N Yoshida, K Honda
ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008
2152008
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
1872016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014
1362014
Hybrid session verification through endpoint API generation
R Hu, N Yoshida
Fundamental Approaches to Software Engineering: 19th International …, 2016
1022016
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
992010
Type-safe eventful sessions in Java
R Hu, D Kouzapas, O Pernet, N Yoshida, K Honda
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
982010
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
Logical Methods in Computer Science 8, 2012
922012
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
912017
Explicit connection actions in multiparty session types
R Hu, N Yoshida
Fundamental Approaches to Software Engineering: 20th International …, 2017
772017
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, 197-225, 2015
772015
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
762019
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
682018
Practical interruptible conversations: Distributed dynamic verification with session types and python
R Hu, R Neykova, N Yoshida, R Demangeon, K Honda
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
592013
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
422020
SPY: local verification of global protocols
R Neykova, N Yoshida, R Hu
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
402013
Safe parallel programming with session java
N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis
Coordination Models and Languages: 13th International Conference …, 2011
402011
On asynchronous eventful session semantics
D Kouzapas, N Yoshida, R Hu, K Honda
Mathematical Structures in Computer Science 26 (2), 303-364, 2016
372016
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014
332014
Dynamic deadlock verification for general barrier synchronisation
T Cogumbreiro, R Hu, F Martins, N Yoshida
ACM SIGPLAN Notices 50 (8), 150-160, 2015
282015
Featherweight go
R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
202020
The system can't perform the operation now. Try again later.
Articles 1–20