Login / Signup
Tree traversal synthesis using domain-specific symbolic compilation.
Yanju Chen
Junrui Liu
Yu Feng
Rastislav Bodík
Published in:
ASPLOS (2022)
Keyphrases
</>
domain specific
tree traversal
general purpose
range query processing
mode seeking
mean shift
image database
range queries