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: Ng:Nicholas
Contributed to:
2015
2015
2014
20122016
20172019Wrote 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.