Parallel schedule synthesis for attribute grammars
Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík · 2013
We examine how to synthesize a parallel schedule of structured traversals over trees. In our system, programs are declaratively specified as attribute grammars. Our synthesizer automatically, correctly, and quickly schedules the attribute grammar as a composition of parallel tree traversals. Our downstream compiler optimizes for GPUs and multicore CPUs.