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