ÌìÃÀ´«Ã½

Concurrency verification research at Imperial 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 Imperial 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: