Mobility Reading Group

Dr Nicholas Ng

Research Associate

www
dblp

I am an RA in the Department of Computing at Imperial College London, previously completed a PhD degree under the supervision of Nobuko Yoshida and Wayne Luk. My research centres around a typing system for the Pi-calculus (session types) and its applications on high performance parallel computing systems. My recent research focuses on verification of concurrency in the Go programming language using using process calculi/behavioural types approach.

Nicholas is now at Monzo

Publications

2019

David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming Using Role Parametric Session Types in Go. POPL 2019 : 29:1 - 29:30.

Jonathan King, Nicholas Ng, Nobuko Yoshida: Multiparty Session Type-safe Web Development with Static Linearity. PLACES 2019 : 35 - 46.

2018

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida: A Static Verification Framework for Message Passing in Go using Behavioural Types. ICSE 2018 : 1137 - 1148.

2017

Vasco T. Vasconcelos, Francisco Martins, Eduardo R.B. Marques, Nobuko Yoshida, Nicholas Ng: Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools : 353 - 372.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida: Fencing off Go: Liveness and Safety for Channel-based Programming. POPL 2017 : 748 - 761.

Nicholas Ng, Nobuko Yoshida: Protocol-Driven MPI Program Generation. Behavioural Types: from Theory to Tools : 329 - 352.

2016

Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk: EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits. FPL 2016 : 1 - 4.

Nicholas Ng, Nobuko Yoshida: Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis. CC 2016 : 174 - 184.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida: Behavioral Types in Programming Languages. FTPL : 95 - 230.

2015

Nicholas Ng, Nobuko Yoshida: Pabble: parameterised Scribble. SOCA : 269 - 284.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Protocol-Based Verification of Message-Passing Parallel Programs. OOPSLA'15 : 280 - 298.

Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida: Protocols by Default: Safe MPI Code Generation based on Session Types. CC 2015 : 212 - 232.

2014

Nicholas Ng, Nobuko Yoshida: Pabble: Parameterised Scribble for Parallel Programming. PDP 2014 : 707 - 714.

2013

Nicholas Ng, Nobuko Yoshida, Wayne Luk: Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops 2013 : 82 - 98.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng: The Scribble Protocol Language. TGC 2013 : 22 - 41.

Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, Nicholas Ng, Nuno Dias Martins: Towards deductive verification of MPI programs against session types. PLACES'13 : 103 - 113.

2012

Nicholas Ng, Nobuko Yoshida, Kohei Honda: Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS 2012 : 202 - 218.

Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi, Wayne Luk: Session Types: Towards safe and fast reconfigurable programming. SIGARCH CAN : 22 - 27.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Verification of MPI Programs Using Session Types. EuroMPI'12 : 291 - 293.

2011

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis: Safe Parallel Programming with Session Java. COORDINATION 2011 : 110 - 126.