@misc{mansky2014specifying,
  title={Specifying and Executing Optimizations for Parallel Programs},
  author={William Mansky and Dennis Griffith and Elsa L. Gunter},
  year={2014},
  eprint={1407.7932},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  doi={10.4204/EPTCS.159.6},
  url={https://arxiv.org/abs/1407.7932}
}