PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
Tensor compilers are essential for deploying deep learning applications across various
hardware platforms. While powerful, they are inherently complex and present significant …
hardware platforms. While powerful, they are inherently complex and present significant …
Generative Explanations for Program Synthesizers
A Nazari, S Chattopadhyay, S Swayamdipta… - arXiv preprint arXiv …, 2024 - arxiv.org
Despite great advances in program synthesis techniques, they remain algorithmic black
boxes. Although they guarantee that when synthesis is successful, the implementation …
boxes. Although they guarantee that when synthesis is successful, the implementation …
Target-Aware Implementation of Real Expressions
B Saiki, J Brough, J Regehr, J Ponce… - arXiv preprint arXiv …, 2024 - arxiv.org
New low-precision accelerators, vector instruction sets, and library functions make
maximizing accuracy and performance of numerical code increasingly challenging. Two …
maximizing accuracy and performance of numerical code increasingly challenging. Two …
Generating Function Names to Improve Comprehension of Synthesized Programs
A Nazari, S Swayamdipta… - … IEEE Symposium on …, 2024 - ieeexplore.ieee.org
The hope of allowing programmers to more freely express themselves has led to a
proliferation of program synthesis techniques. These tools automatically derive …
proliferation of program synthesis techniques. These tools automatically derive …