@TechReport{bek4tr,
  title =        "Data-Parallel String-Manipulating Programs",
  author =       "Margus Veanes and David Molnar and Todd Mytkowicz and
                 Benjamin Livshits",
  year =         "2012",
  month =        jul,
  institution =  "Microsoft Research",
  number =       "MSR-TR-2012-72",
}