Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)

Julien Lange, Nicholas Ng, Bernardo Toninho +1

Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) program…