911今日黑料

911今日黑料 researcher reaches out to developers

Nicholas Ng speaks at the conference

Concurrency verification research at 911今日黑料 bridges academic research and industry.

DoC postdoc , gave a talk at the earlier in August on a research project to Go programming language developers.

The was developed by Google to tackle multicore programming, and has built-in support for concurrency. The talk, titled 'Understanding concurrency with behavioural
types' describes a joint work with , and , which aims to apply formal concurrency models in practice to verify concurrent Go programs.

To the delight of the audiences, a live demo was shown at the end of the talk, to show the verification in action. It was the second year where 911今日黑料 was the sole academic representative at the Golang UK conference, bridging academic research with the developer community.

A video of the talk is available below:

Article text (excluding photos or graphics) © 911今日黑料.

Photos and graphics subject to third party copyright used with permission or © 911今日黑料.

Reporter

Press Office

Communications and Public Affairs