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...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník 8; číslo OOPSLA2; s. 1309 - 1335
Hlavní autori:	Zhou, Chijin, Qian, Bingzhou, Go, Gwihwan, Zhang, Quan, Li, Shanshan, Jiang, Yu
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 08.10.2024
Predmet:	Software and its engineering Software testing and debugging Fuzzing Equality Saturation Tensor Compiler Testing ML System
ISSN:	2475-1421, 2475-1421
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!