• Sign in
  • Sign up
conf.researchr.org / Nicholas Ng
  • * ICSE 2018 * profile
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • SPLASH 2015 profile
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
* ICSE 2018 * Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track
POPL 2017 Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-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

Share
xSat 28 Jan 08:14
using conf.researchr.org (v1.58.0)
Support page
Sign Up