• 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

2019

PLACES

  • Author of Multiparty session type-safe web development with static linearity within the PLACES-track

POPL

  • Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track

2018

ICSE

  • Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track

2017

POPL

  • Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track

2015

SPLASH

  • 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
xSun 18 May 09:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up