Text this: Synthesis of parallel algorithms /