Statistics
Publications
10
Citations
402
H-Index
10
Active since
2013
Affiliations
Nicholas Ng is an author at Imperial College London specializing in computer science, computing, and type checking.
Publications per year
2013–2019
10
10
A static verification framework for message passing in Go using behavioural types
Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2018 · 71 citations · Full text
Fencing off go: liveness and safety for channel-based programming
Julien Lange, Nicholas Ng, Bernardo Toninho et al. · 2016 · 62 citations · Full text
David Castro, Raymond Hu, Sung-Shik Jongmans et al. · Proceedings of the ACM on Programming Languages · 2019 · 55 citations · Full text
Protocol-based verification of message-passing parallel programs
Hugo A. López, Eduardo R. B. Marques, Francisco Martins et al. · 2015 · 49 citations
1–5 of 10