Synthesis of Dynamic Dataflow Programs