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

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.