BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × USA
1 × United Kingdom
Collaborated with:
N.Yoshida J.G.d.F.Coutinho K.Honda J.Lange B.Toninho D.Castro-Perez R.Hu Sung-Shik Jongmans H.A.López E.R.B.Marques F.Martins C.Santos V.T.Vasconcelos
Talks about:
program (5) session (4) parallel (3) type (3) base (3) go (3) protocol (2) static (2) messag (2) safe (2)

Person: Nicholas Ng

DBLP DBLP: Ng:Nicholas

Contributed to:

CC 20152015
OOPSLA 20152015
PDP 20142014
TOOLS Europe 20122012
CC 20162016
POPL 20172017
POPL 20192019

Wrote 7 papers:

CC-2015-NgCY #code generation #protocol
Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
PDP-2014-NgY #named #parallel #programming
Pabble: Parameterised Scribble for Parallel Programming (NN, NY), pp. 707–714.
TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
CC-2016-NgY #concurrent #detection #graph #synthesis
Static deadlock detection for concurrent go by global session graph synthesis (NN, NY), pp. 174–184.
POPL-2017-LangeNTY #liveness #programming #safety
Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.
POPL-2019-CastroHJNY #api #communication #distributed #parametricity #programming #static typing #using
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.