DiffBlue is an University of Oxford spin-out that is applying artificial intelligence to automated code synthesis.