@article{Cl_ment_2022,<br/><span class="tab"></span> title={End-to-end translation validation for the halide language},<br/><span class="tab"></span> volume={6},<br/><span class="tab"></span> ISSN={2475-1421},<br/><span class="tab"></span> url={http://dx.doi.org/10.1145/3527328},<br/><span class="tab"></span> DOI={10.1145/3527328},<br/><span class="tab"></span> number={OOPSLA1},<br/><span class="tab"></span> journal={Proceedings of the ACM on Programming Languages},<br/><span class="tab"></span> publisher={Association for Computing Machinery (ACM)},<br/><span class="tab"></span> author={Clément,<br/><span class="tab"></span> Basile and Cohen,<br/><span class="tab"></span> Albert},<br/><span class="tab"></span> year={2022},<br/><span class="tab"></span> month=apr,<br/><span class="tab"></span> pages={1–30} }