synthesis of parallel programs | lit.salon