Main publications

Static verification for Go

• A Static Verification Framework for Message Passing in Go using Behavioural Types. Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida. ICSE 2018. www
• Fencing off Go: Liveness and Safety for Channel-based Programming. Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida. POPL 2017. www
• Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis. Nicholas Ng, Nobuko Yoshida. CC 2016. www

Parameterised Session Types and parallel programming

• Distributed Programming Using Role Parametric Session Types in Go: Statically-Typed Endpoint APIs for Dynamically-Instantiated Communication Structures. David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida. POPL 2019. www
• Protocols by Default: Safe MPI Code Generation based on Session Types. Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida. CC 2015. www
• Scalable Session Programming for Heterogeneous High-Performance Systems. Nicholas Ng, Nobuko Yoshida, Wayne Luk. SEFM Workshops 2013. www
• Pabble: Parameterised Scribble for Parallel Programming. Nicholas Ng, Nobuko Yoshida. PDP 2014. www Pabble: parameterised Scribble Nicholas Ng, Nobuko Yoshida. SOCA. www

Session-based parallel programming

• Multiparty Session C: Safe Parallel Programming with Message Optimisation. Nicholas Ng, Nobuko Yoshida, Kohei Honda. TOOLS Europe 2012.
• Session Types: Towards safe and fast reconfigurable programming. Nicholas Ng, Nobuko Yoshida, Xin Yu Niu, Kuen Hung Tsoi, Wayne Luk. HEART 2012 / ACM SIGARCH CAN. www
• Safe Parallel Programming with Session Java. Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis. COORDINATION 2011. www

---

See my dblp or Google scholar page for a more complete list.