Nicholas Ng

According to our database1, Nicholas Ng authored at least 17 papers between 2011 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2016
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

2015
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

2014
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

2013
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

2012
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

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


  Loading...