According to our database1, Nicholas Ng authored at least 17 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
A static verification framework for message passing in Go using behavioural types.
Proceedings of the 40th International Conference on Software Engineering, 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