Safe Parallel Programming with Session Java. - Nicholas Ng; Nobuko Yoshida; Olivier Pernet; Raymond Hu; Yiannos Kryftis (COORDINATION, 2011)

Verification of MPI Programs Using Session Types. - Kohei Honda 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco Thudichum Vasconcelos; Nobuko Yoshida (EuroMPI, 2012)

Multiparty Session C: Safe Parallel Programming with Message Optimisation. - Nicholas Ng; Nobuko Yoshida; Kohei Honda 001 (TOOLS (50), 2012)

Session types: towards safe and fast reconfigurable programming. - Nicholas Ng; Nobuko Yoshida; Xinyu Niu; Kuen Hung Tsoi (SIGARCH Comput. Archit. News, 2012)

Scalable Session Programming for Heterogeneous High-Performance Systems. - Nicholas Ng; Nobuko Yoshida; Wayne Luk (SEFM Workshops, 2013)

The Scribble Protocol Language. - Nobuko Yoshida; Raymond Hu; Rumyana Neykova; Nicholas Ng (TGC, 2013)

Towards deductive verification of MPI programs against session types. - Eduardo R. B. Marques; Francisco Martins; Vasco T. Vasconcelos; Nicholas Ng; Nuno Martins (PLACES, 2013)

Frontmatter, Table of Contents, Preface, Workshop Organization. - Rumyana Neykova; Nicholas Ng (ICCSW, 2014)

Pabble: Parameterised Scribble for Parallel Programming. - Nicholas Ng; Nobuko Yoshida (PDP, 2014)

Protocols by Default - Safe MPI Code Generation Based on Session Types. - Nicholas Ng; José Gabriel de Figueiredo Coutinho; Nobuko Yoshida (CC, 2015)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

Pabble: parameterised Scribble. - Nicholas Ng; Nobuko Yoshida (Serv. Oriented Comput. Appl., 2015)

Static deadlock detection for concurrent go by global session graph synthesis. - Nicholas Ng; Nobuko Yoshida (CC, 2016)

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. - Xinyu Niu; Nicholas Ng; Tomofumi Yuki; Shaojun Wang; Nobuko Yoshida; Wayne Luk (FPL, 2016)

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (CoRR, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Fencing off go: liveness and safety for channel-based programming. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (POPL, 2017)

An Improvement to Discrete Fuzzy Logic Control. - Saw Jing Wen; Nicholas Ng; Lim Choo Min (ICARCV, 2018)

A static verification framework for message passing in Go using behavioural types. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (ICSE, 2018)

Multiparty Session Type-safe Web Development with Static Linearity. - Jonathan King; Nicholas Ng; Nobuko Yoshida (PLACES@ETAPS, 2019)

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. - David Castro-Perez; Raymond Hu; Sung-Shik Jongmans; Nicholas Ng; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)