@inproceedings{DBLP:conf/date/WangXYCCY23,
 author = {Yanzhao Wang and
Fei Xie and
Zhenkun Yang and
Jeremy Casas and
Pasquale Cocchini and
Jin Yang},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/date/WangXYCCY23.bib},
 booktitle = {Design, Automation & Test in Europe Conference & Exhibition,
DATE 2023, Antwerp, Belgium, April 17-19, 2023},
 doi = {10.23919/DATE56975.2023.10137308},
 pages = {1--6},
 publisher = {IEEE},
 timestamp = {Fri, 22 Aug 2025 01:00:00 +0200},
 title = {An Automated Verification Framework for HalideIR-Based Compiler Transformations},
 url = {https://doi.org/10.23919/DATE56975.2023.10137308},
 year = {2023}
}