Nicholas Ng -

Registered user since Tue 18 Aug 2015

Name:Nicholas Ng

Bio:

I apply theoretical understanding of concurrency to analysis of programming language and systems, in particular, Go ʕ◉ϖ◉ʔ

Country:United Kingdom

Affiliation:Imperial College London

Research interests:Programming Languages, Concurrency, Static Analysis, Session Types

Contributions

PLACES 2019	Author of Multiparty session type-safe web development with static linearity within the PLACES-track
POPL 2019	Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track
POPL 2017	Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track
* ICSE 2018 *	Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track
SPLASH 2015	Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track