Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil. Verifying and improving Halide's term rewriting system with program synthesis. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
@article{NewcombAJBK20, title = {Verifying and improving Halide's term rewriting system with program synthesis}, author = {Julie L. Newcomb and Andrew Adams and Steven Johnson and Rastislav Bodík and Shoaib Kamil}, year = {2020}, doi = {10.1145/3428234}, url = {https://doi.org/10.1145/3428234}, researchr = {https://researchr.org/publication/NewcombAJBK20}, cites = {0}, citedby = {0}, journal = {Proceedings of the ACM on Programming Languages}, volume = {4}, number = {OOPSLA}, }