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 challenges in ensuring correctness. This paper introduces PolyJuice, an automatic detection tool for identifying mis-compilat...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 8; no. OOPSLA2; pp. 1309 - 1335
Main Authors:	Zhou, Chijin, Qian, Bingzhou, Go, Gwihwan, Zhang, Quan, Li, Shanshan, Jiang, Yu
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 08.10.2024
Subjects:	Software and its engineering Software testing and debugging Fuzzing Equality Saturation Tensor Compiler Testing ML System
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!