Peter Cyrus Collingbourne: Symbolic crosschecking of data-parallel floating point code. Imperial College London, UK 2013