PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting

Open Webpage

Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, Yu Jiang

Published: 2024, Last Modified: 07 Jan 2026Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0