Publications by 'Paul Barham 0001'