Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified a...