Concurrency verification research at Imperial bridges academic research and industry.
DoC postdoc Nicholas Ng, gave a talk at the Golang UK conference earlier in August on a research project to Go programming language developers.
The Go programming language 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 Julien Lange, Bernardo Toninho and Professor Nobuko Yoshida, 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:
Article text (excluding photos or graphics) available under an Attribution-NonCommercial-ShareAlike Creative Commons license.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.
Reporter
Sean Conner
Faculty of Natural Sciences
Contact details
Email: s.conner@imperial.ac.uk
Show all stories by this author
