@misc{indiciaebfcc39b84ff2,
  title = {Specifying and Executing Optimizations for Parallel Programs},
  author = {William Mansky and Dennis Griffith and Elsa L. Gunter},
  year = {2014},
  doi = {10.4204/eptcs.159.6},
  url = {https://arxiv.org/abs/1407.7932},
  note = {Source identifier: 1407.7932}
}