An interview with Paul Barham