51勛圖厙

51勛圖厙 researcher reaches out to developers

Nicholas Ng speaks at the conference

Concurrency verification research at 51勛圖厙 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 51勛圖厙 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) © 51勛圖厙.

Photos and graphics subject to third party copyright used with permission or © 51勛圖厙.

Reporter

Press Office

Communications and Public Affairs