Dataflow-based pruning for speeding up superoptimization.
Manasij MukherjeePranav KantZhengyang LiuJohn RegehrPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- pruning method
- search space
- tree pruning
- database machine
- pruning algorithm
- data flow
- pruning algorithms
- design methodology
- parallel computing
- graph transformation
- control flow
- real time
- pruning strategy
- artificial neural networks
- multi agent systems
- tree construction
- multiscale
- case study
- pruning methods
- website
- information systems
- computer vision