* ICSE 2018 * (series) / Nicholas Ng
Registered user since Tue 18 Aug 2015
Name:Nicholas Ng
Bio:
I apply theoretical understanding of concurrency to analysis of programming language and systems, in particular, Go ʕ◉ϖ◉ʔ
Country:United Kingdom
Affiliation:Imperial College London
Personal website:http://www.doc.ic.ac.uk/~cn06
Research interests:Programming Languages, Concurrency, Static Analysis, Session Types
Contributions
| * ICSE 2018 * | A Static Verification Framework for Message Passing in Go using Behavioural Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
* ICSE 2018 *-profile
View general profile
View general profile