Multicore Programming Group
Paper on WCET of GPU kernels accepted at ECRTS (April 2013) Estimating the WCET of GPU-Accelerated Applications using Hybrid Analysis
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.
Peter Collingbourne, postdoc, May-September 2012. Now at Google.
Egor Kyshtymov, UROP student, summer 2012.
Cassie Epps, UROP student, summer 2012.