Automatic Parallelization and Optimization of Programs by Proof Rewriting.

Clment Hurlin

Browse the full SAS paper archive.