Specifying and Executing Optimizations for Parallel Programs

Compiler optimizations, usually expressed as rewrites on program graphs, are a core part of all modern compilers. However, even production compilers have bugs, and these bugs are difficult to detect and resolve. The problem only becomes more complex when compiling parallel programs; from the choice...

Full description

Bibliographic Details
Main Authors: William Mansky, Dennis Griffith, Elsa L. Gunter
Format: Article
Language:English
Published: Open Publishing Association 2014-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1407.7932v1