ÌìÃÀ´«Ã½

A paper by DoC researchers at POPL on Go concurrency verification was featured in a tech blog and generates a buzz outside of the research community.

A by researchers at the department was recently featured in the morning paper, a by venture capitalist Adrian Colye, which summarises an important, influential, topical or otherwise interesting paper in the field of computer science every weekday in an easily digestible way by non-researchers. On the of the morning paper, It was highlighted as "the true spirit of POPL (Principles of Programming Languages)".

The paper, Fencing off Go: Liveness and Safety for Channel-based Programming by , , and in the department, was presented last month in the prestigious held in Paris, France. The work presents a static verification framework for Google's concurrent , using behavioural types extracted from a Go program, and performs analysis on those types for verification.

The article gives an easily digestible summary of the technical work presented in the paper, and since then has garnered some attention from the , as well as the which organises the conference.

programmers: unpacks "Fencing off Go," a paper, in .

— Official ACM (@TheOfficialACM)