* 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 * | Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
* ICSE 2018 *-profile
View general profile
View general profile