Schedule synthesis for halide pipelines on gpus

S Sioutas, S Stuijk, T Basten, H Corporaal… - … on Architecture and …, 2020 - dl.acm.org
… updated it is one of the supported autoschedulers in the Halide master [8]. While the original
… was never integrated into the Halide master. We extend the Halide master scheduler with a …

End-to-end translation validation for the halide language

B Clément, A Cohen - Proceedings of the ACM on Programming …, 2022 - dl.acm.org
Halide scheduling language: while maybe counter-intuitive, this indicates the techniques in
this paper should generalize beyond Halide … the specifics of affine Halide specifications in …

Schedule synthesis for halide pipelines through reuse analysis

S Sioutas, S Stuijk, L Waeijen, T Basten… - … on Architecture and …, 2019 - dl.acm.org
… produced by the Halide Auto-Scheduler, the manual solutions given for the Halide DSL on
the … It is important to remark that our technique is not restricted to Halide. It can be used with …

HeteroHalide: From image processing DSL to efficient FPGA acceleration

J Li, Y Chi, J Cong - Proceedings of the 2020 ACM/SIGDA International …, 2020 - dl.acm.org
… the vast number of Halide programs to efficient FPGA … Halide programs to FPGA accelerators.
This system makes use of both algorithm and scheduling information specified in a Halide

Halide Code Generation Framework in Phylanx

R Tohid, S Shirzad, C Taylor, SA Sakin… - … Conference on Parallel …, 2022 - Springer
… First, we compare the performance of Halide applications running on its native runtime with
… in Halide to verify performance and portability benefits of Halide in the context of Phylanx. …

Halide Code Generation Framework in Phylanx

KE Isaacs, H Kaiser - Euro-Par 2022: Parallel Processing Workshops - Springer
… First, we compare the performance of Halide applications running on its native runtime with
… in Halide to verify performance and portability benefits of Halide in the context of Phylanx. …

HalideTuner: generating and tuning halide schedules with Opentuner

GPET Zingales - 2015 - dspace.mit.edu
… , the need for Halide schedules will increase. As the need for good Halide schedules increases…
a codification of how Opentuner can manipulate Halide schedules to improve them in the …

Verifying and improving halide's term rewriting system with program synthesis

JL Newcomb, A Adams, S Johnson, R Bodik… - Proceedings of the ACM …, 2020 - dl.acm.org
… 2.4 Completeness of the Halide TRS We know by observation that the current Halide TRS
cannot prove certain equalities that are in fact true, or reduce certain expressions that can be …

Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures

A Kothari, AR Noor, M Xu, H Uddin, D Baronia… - … Languages and …, 2024 - dl.acm.org
… front-end for the Halide DSL, creating a compiler from Halide to LLVM using Hydride. Like
Rake [1], our front-end takes as input Halide IR lowered from an input Halide program after all …

A graph neural network-based performance model for deep learning applications

S Singh, J Hegarty, H Leather, B Steiner - Proceedings of the 6th ACM …, 2022 - dl.acm.org
… This section provides an overview of the Halide framework and the feature engineering
used in the auto-scheduler. The primary philosophy behind Halide is the separation of the …