Multicore Programming Group

About

The Multicore Programming group is part of the Computer Systems section within the Department of Computing. We have strong links with the Department's Software Performance Optimization, Software Reliability, and Local Resource Reasoning research groups.

Currently we are especially focussed on verification of multicore software, particularly GPU kernels, and on automatic techniques for finding concurrency-related bugs in multicore programs.

We are designing novel verification and symbolic testing techniques, and implementing them as working tools on top of analysis engines including Boogie, CBMC, SatAbs and KLEE.

Members

Group leader Alastair F. Donaldson	Postdoctoral researchers Adam Betts Jeroen Ketema	Administrator Afra Asim
PhD student Paul Thomson	Affiliated members Nathan Chong Prof Paul Kelly