Nicholas Ng
Title
Cited by
Cited by
Year
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
972016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41, 2013
902013
Multiparty Session C: Safe parallel programming with message optimisation
N Ng, N Yoshida, K Honda
International Conference on Modelling Techniques and Tools for Computer …, 2012
872012
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
442016
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
422015
Protocols by default
N Ng, JG de Figueiredo Coutinho, N Yoshida
International Conference on Compiler Construction, 212-232, 2015
402015
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
392011
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
302017
Pabble: Parameterised scribble for parallel programming
N Ng, N Yoshida
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
302014
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
282018
Verification of MPI programs using session types
K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida
European MPI Users' Group Meeting, 291-293, 2012
272012
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
252013
Pabble: parameterised scribble
N Ng, N Yoshida
Service Oriented Computing and Applications 9 (3-4), 269-284, 2015
222015
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
202019
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
102012
Scalable session programming for heterogeneous high-performance systems
N Ng, N Yoshida, W Luk
International Conference on Software Engineering and Formal Methods, 82-98, 2013
92013
High performance parallel design based on session programming
N Ng, N Yoshida
MEng thesis, Department of Computing, Imperial College London, 2010
82010
Protocol-based verification of MPI programs
ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida
52014
7. Domesticating the foreign: singing salvation through translation in the Australian Catholic Chinese community
N Ng
Sounds in translation: intersections of music, technology and society, 111, 2004
52004
Specification and verification of protocols for MPI programs
ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida
42013
The system can't perform the operation now. Try again later.
Articles 1–20