Parallel programming with inductive synthesis