Nicholas Ng

Go concurrency verification

Golang static analysis process calculi behavioural types

The aim of this line of work is to verify channel-based concurrency interaction in Go using techniques from the research area of process calculi and type systems.

Tools

nickng/dingo-hunter is a static analyser for Go based on the go/ssa package from the Go project. The tool itself is designed to be an interface to Go programs, performing type inference/model extraction from Go code. Current analysis frontends include:

Publications