| Session-based distributed programming in Java R Hu, N Yoshida, K Honda European Conference on Object-Oriented Programming, 516-541, 2008 | 206 | 2008 |
| 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 | 163 | 2016 |
| The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng International Symposium on Trustworthy Global Computing, 22-41, 2013 | 123 | 2013 |
| 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 | 102 | 2010 |
| Hybrid session verification through endpoint API generation R Hu, N Yoshida International Conference on Fundamental Approaches to Software Engineering …, 2016 | 96 | 2016 |
| Parameterised multiparty session types N Yoshida, PM Deniélou, A Bejleri, R Hu International Conference on Foundations of Software Science and …, 2010 | 95 | 2010 |
| Parameterised multiparty session types R Hu, A Bejleri, N Yoshida, PM Denielou Logical Methods in Computer Science 8, 2012 | 87 | 2012 |
| 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 | 73 | 2017 |
| 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 | 71 | 2015 |
| 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 | 64 | 2019 |
| Explicit connection actions in multiparty session types R Hu, N Yoshida International Conference on Fundamental Approaches to Software Engineering …, 2017 | 61 | 2017 |
| 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 | 59 | 2018 |
| Practical interruptible conversations R Hu, R Neykova, N Yoshida, R Demangeon, K Honda International Conference on Runtime Verification, 130-148, 2013 | 59 | 2013 |
| SPY: local verification of global protocols R Neykova, N Yoshida, R Hu International Conference on Runtime Verification, 358-363, 2013 | 39 | 2013 |
| 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 | 39 | 2011 |
| On asynchronous eventful session semantics D Kouzapas, N Yoshida, R Hu, K Honda Mathematical Structures in Computer Science 26 (2), 303-364, 2016 | 35 | 2016 |
| 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 | 35 | 2014 |
| Dynamic deadlock verification for general barrier synchronisation T Cogumbreiro, R Hu, F Martins, N Yoshida ACM SIGPLAN Notices 50 (8), 150-160, 2015 | 29 | 2015 |
| 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 | 28 | 2020 |
| Featherweight Go R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ... arXiv preprint arXiv:2005.11710, 2020 | 16 | 2020 |
