| 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 | 197 | 2016 |
| The Scribble protocol language N Yoshida, R Hu, R Neykova, N Ng Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos …, 2014 | 151 | 2014 |
| Multiparty Session C: Safe parallel programming with message optimisation N Ng, N Yoshida, K Honda Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 102 | 2012 |
| Static deadlock detection for concurrent go by global session graph synthesis N Ng, N Yoshida Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 87 | 2016 |
| A static verification framework for message passing in go using behavioural types J Lange, N Ng, B Toninho, N Yoshida Proceedings of the 40th International Conference on Software Engineering …, 2018 | 86 | 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 | 81 | 2019 |
| Fencing off go: liveness and safety for channel-based programming J Lange, N Ng, B Toninho, N Yoshida ACM SIGPLAN Notices 52 (1), 748-761, 2017 | 77 | 2017 |
| Protocol-based verification of message-passing parallel programs HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 70 | 2015 |
| Protocols by default: Safe MPI code generation based on session types N Ng, JG de Figueiredo Coutinho, N Yoshida Compiler Construction: 24th International Conference, CC 2015, Held as Part …, 2015 | 54 | 2015 |
| 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 |
| Pabble: parameterised scribble N Ng, N Yoshida Service Oriented Computing and Applications 9, 269-284, 2015 | 35 | 2015 |
| Pabble: Parameterised scribble for parallel programming N Ng, N Yoshida 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 28 | 2014 |
| Verification of MPI programs using session types K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida Recent Advances in the Message Passing Interface: 19th European MPI Users …, 2012 | 28 | 2012 |
| Towards deductive verification of MPI programs against session types ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins arXiv preprint arXiv:1312.2705, 2013 | 27 | 2013 |
| Multiparty session type-safe web development with static linearity J King, N Ng, N Yoshida arXiv preprint arXiv:1904.01287, 2019 | 16 | 2019 |
| Scalable session programming for heterogeneous high-performance systems N Ng, N Yoshida, W Luk Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 10 | 2014 |
| Session types: towards safe and fast reconfigurable programming N Ng, N Yoshida, XY Niu, KH Tsoi ACM SIGARCH Computer Architecture News 40 (5), 22-27, 2012 | 10 | 2012 |
| High performance parallel design based on session programming N Ng, N Yoshida MEng thesis, Department of Computing, Imperial College London, 2010 | 8 | 2010 |
| Falling leaves and new roots: Informed practice within the Sydney conservatorium of music's Chinese music ensemble C Ingram, L Liu, N Ng Creative research in music, 73-81, 2020 | 5 | 2020 |
| Protocol-based verification of MPI programs ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida | 5 | 2014 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
