An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

Browse the full DATE paper archive.