Nicholas Ng

According to our database1, Nicholas Ng authored at least 20 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
PACMPL, 2019

Multiparty Session Type-safe Web Development with Static Linearity.
Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

A static verification framework for message passing in Go using behavioural types.
Proceedings of the 40th International Conference on Software Engineering, 2018

An Improvement to Discrete Fuzzy Logic Control.
Proceedings of the 15th International Conference on Control, 2018

Fencing off go: liveness and safety for channel-based programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.
Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Static deadlock detection for concurrent go by global session graph synthesis.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Pabble: parameterised Scribble.
Service Oriented Computing and Applications, 2015

Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Protocols by Default - Safe MPI Code Generation Based on Session Types.
Proceedings of the Compiler Construction - 24th International Conference, 2015

Pabble: Parameterised Scribble for Parallel Programming.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Frontmatter, Table of Contents, Preface, Workshop Organization.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Towards deductive verification of MPI programs against session types.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

The Scribble Protocol Language.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Scalable Session Programming for Heterogeneous High-Performance Systems.
Proceedings of the Software Engineering and Formal Methods, 2013

Session types: towards safe and fast reconfigurable programming.
SIGARCH Computer Architecture News, 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012

Safe Parallel Programming with Session Java.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011