Recent concurrency research on Go

Fencing off Go: Liveness and Safety for Channel-based Programming (POPL 2017)
J. Lange, N. Ng, B. Toninho, N. Yoshida

↑ Summary in The Morning Paper by @adriancolyer
blog.coyler.org/2017/02/02/fencing-off-go-liveness-and-safety-for-channel-based-programming

Static Deadlock Detection for Go by Global Session Graph Synthesis (CC 2015)
N. Ng, N. Yoshida

Behavioural Types in Programming Languages [Book]
Foundations and Trends in Programming Languages, 2016
Ancona et al.