Efficient software synthesis of dynamic dataflow programs | Publicación