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

Personal website: https://nickng.io

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