Tree traversal synthesis using domain-specific symbolic compilation.

Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodk

Browse the full ASPLOS paper archive.