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 |
Multiparty Session C: Safe parallel programming with message optimisation N Ng, N Yoshida, K Honda Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 105 | 2012 |
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 | 89 | 2018 |
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 | 89 | 2016 |
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 |
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 | 79 | 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 | 56 | 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 | 36 | 2015 |
Pabble: Parameterised scribble for parallel programming N Ng, N Yoshida 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 30 | 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 | 29 | 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 |