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]
No reviews for this publication, yet.