Efficient Loop-level Parallelism In Ada door Michael Hind