Follow
Nicholas Ng
Title
Cited by
Cited by
Year
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
1462016
The Scribble protocol language
N Yoshida, R Hu, R Neykova, N Ng
International Symposium on Trustworthy Global Computing, 22-41, 2013
1192013
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
952012
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
662016
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
602015
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
552017
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
522018
Protocols by default
N Ng, JG Figueiredo Coutinho, N Yoshida
International Conference on Compiler Construction, 212-232, 2015
502015
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
472019
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
402011
Pabble: Parameterised scribble for parallel programming
N Ng, N Yoshida
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
292014
Pabble: parameterised scribble
N Ng, N Yoshida
Service Oriented Computing and Applications 9 (3), 269-284, 2015
272015
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
242013
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
102013
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
Multiparty session type-safe web development with static linearity
J King, N Ng, N Yoshida
arXiv preprint arXiv:1904.01287, 2019
92019
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
42014
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