Data-Parallel String-Manipulating Programs.

Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits

Browse the full POPL paper archive.