Multicore Programming Group


Department of
Computing

        Imperial College London logo

News

Feb 2015: Two papers accepted at PLDI'15

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

PhD students

Paul Thomson
Daniel Liew (co-supervised with Cristian Cadar)
Pantazis Deligiannis
Ethel Bardsley
Christopher Lidbury

Alumni

John Wickerson, postdoc, 2013-2015. Now with the Circuits and Systems group at Imperial.
Jeroen Ketema, postdoc, 2012-2015. Now at Codeplay.
Nathan Chong, PhD, 2010-2014. Now at UCL.
Katya da Silva, Visiting Undergraduate Researcher, 2014.
Peter Collingbourne, postdoc, May-September 2012. Now at Google.
Egor Kyshtymov, UROP student, summer 2012.
Cassie Epps, UROP student, summer 2012.