| Session-based distributed programming in Java R Hu, N Yoshida, K Honda ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008 | 229 | 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 | 201 | 2016 |
| The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 153 | 2014 |
| Hybrid session verification through endpoint API generation R Hu, N Yoshida Fundamental Approaches to Software Engineering: 19th International …, 2016 | 116 | 2016 |
| 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 | 103 | 2010 |
| Parameterised multiparty session types PM Deniélou, N Yoshida, A Bejleri, R Hu Logical Methods in Computer Science 8, 2012 | 101 | 2012 |
| Parameterised multiparty session types N Yoshida, PM Deniélou, A Bejleri, R Hu International Conference on Foundations of Software Science and …, 2010 | 101 | 2010 |
| 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 | 100 | 2017 |
| Explicit connection actions in multiparty session types R Hu, N Yoshida Fundamental Approaches to Software Engineering: 20th International …, 2017 | 93 | 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 | 84 | 2018 |
| 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 | 83 | 2019 |
| 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 | 81 | 2015 |
| 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 | 62 | 2013 |
| 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 | 54 | 2020 |
| SPY: local verification of global protocols R Neykova, N Yoshida, R Hu Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 47 | 2013 |
| Safe parallel programming with session java N Ng, N Yoshida, O Pernet, R Hu, Y Kryftis Coordination Models and Languages: 13th International Conference …, 2011 | 41 | 2011 |
| On asynchronous eventful session semantics D Kouzapas, N Yoshida, R Hu, K Honda Mathematical Structures in Computer Science 26 (2), 303-364, 2016 | 40 | 2016 |
| 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 | 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 | 28 | 2015 |
| 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 | 27 | 2020 |
