@Inproceedings{EPTCS159.6, author = {Mansky, William and Griffith, Dennis and Gunter, Elsa L.}, year = {2014}, title = {Specifying and Executing Optimizations for Parallel Programs}, editor = {Bo\v{s}na\v{c}ki, Dragan and Edelkamp, Stefan and Lluch Lafuente, Alberto and Wijs, Anton}, booktitle = {{\rm Proceedings 3rd Workshop on} GRAPH Inspection and Traversal Engineering, {\rm Grenoble, France, 5th April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {159}, publisher = {Open Publishing Association}, pages = {58-70}, doi = {10.4204/EPTCS.159.6}, }