DoC researcher to speak at Golang UK conference
Golang UK conference will be held on 17-19 August 2016
DoC researcher to speak at industry-focused Golang UK conference on results of concurrency research
GolangUK is an industry focused conference about Go programming and related technologies.
Nicholas Ng has been invited to speak about their static deadlock detection tool for Google's Go programming language. The tool "dingo-hunter" was part of a paper with Nobuko Yoshida, "Static Deadlock Detection for Concurrent Go by Global Graph Synthesis" published at CC 2016. The work takes advantage of the process calculi-inspired concurrency model and applies session types and uses recent theoretical advances and tools developed for global choreography synthesis by Julien Lange, Emilio Tuosto and Nobuko Yoshida published at POPL 2015.
Both Nicholas Ng and Julien Lange are postdocs at Mobility Reading Group led by Nobuko Yoshida, working on session types and related topics.
Article text (excluding photos or graphics) © Imperial College London.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.
Reporter
Vicky Kapogianni
Department of Computing
