Nicholas Ng

According to our database, Nicholas Ng authored at least 21 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Multiparty Session Type-safe Web Development with Static Linearity.

Jonathan King, Nicholas Ng, Nobuko Yoshida

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

2018

A static verification framework for message passing in Go using behavioural types.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 40th International Conference on Software Engineering, 2018

An Improvement to Discrete Fuzzy Logic Control.

Saw Jing Wen, Nicholas Ng, Lim Choo Min

Proceedings of the 15th International Conference on Control, 2018

2017

Fencing off go: liveness and safety for channel-based programming.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

CoRR, 2016

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.

Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Static deadlock detection for concurrent go by global session graph synthesis.

Nicholas Ng, Nobuko Yoshida

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Pabble: parameterised Scribble.

Nicholas Ng, Nobuko Yoshida

Serv. Oriented Comput. Appl., 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Protocols by Default - Safe MPI Code Generation Based on Session Types.

Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Pabble: Parameterised Scribble for Parallel Programming.

Nicholas Ng, Nobuko Yoshida

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Frontmatter, Table of Contents, Preface, Workshop Organization.

Rumyana Neykova, Nicholas Ng

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

2013

Towards deductive verification of MPI programs against session types.

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

The Scribble Protocol Language.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Scalable Session Programming for Heterogeneous High-Performance Systems.

Nicholas Ng, Nobuko Yoshida, Wayne Luk

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Session types: towards safe and fast reconfigurable programming.

Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi

SIGARCH Comput. Archit. News, 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.

Nicholas Ng, Nobuko Yoshida, Kohei Honda

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

2011

Safe Parallel Programming with Session Java.

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011