Louis-Noël Pouchet, Emily Tucker, Niansong Zhang, Hongzheng Chen, Debjit Pal, Gabriel Rodríguez 0001, Zhiru Zhang. Formal Verification of Source-to-Source Transformations for HLS. In Zhiru Zhang, Andrew Putnam, editors, Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024. pages 97-107, ACM, 2024. [doi]
@inproceedings{PouchetTZCP0Z24,
title = {Formal Verification of Source-to-Source Transformations for HLS},
author = {Louis-Noël Pouchet and Emily Tucker and Niansong Zhang and Hongzheng Chen and Debjit Pal and Gabriel Rodríguez 0001 and Zhiru Zhang},
year = {2024},
doi = {10.1145/3626202.3637563},
url = {https://doi.org/10.1145/3626202.3637563},
researchr = {https://researchr.org/publication/PouchetTZCP0Z24},
cites = {0},
citedby = {0},
pages = {97-107},
booktitle = {Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024},
editor = {Zhiru Zhang and Andrew Putnam},
publisher = {ACM},
}