%0 Conference Paper %1 conf/fpga/PouchetTZCP0Z24 %A Pouchet, Louis-Noël %A Tucker, Emily %A Zhang, Niansong %A Chen, Hongzheng %A Pal, Debjit %A Rodríguez, Gabriel %A Zhang, Zhiru %B FPGA %D 2024 %E Zhang, Zhiru %E Putnam, Andrew %I ACM %K dblp %P 97-107 %T Formal Verification of Source-to-Source Transformations for HLS. %U http://dblp.uni-trier.de/db/conf/fpga/fpga2024.html#PouchetTZCP0Z24

@inproceedings{conf/fpga/PouchetTZCP0Z24, added-at = {2024-04-15T00:00:00.000+0200}, author = {Pouchet, Louis-Noël and Tucker, Emily and Zhang, Niansong and Chen, Hongzheng and Pal, Debjit and Rodríguez, Gabriel and Zhang, Zhiru}, biburl = {https://www.bibsonomy.org/bibtex/24b98fcc53499792d05635323085b086a/dblp}, booktitle = {FPGA}, crossref = {conf/fpga/2024}, editor = {Zhang, Zhiru and Putnam, Andrew}, ee = {https://doi.org/10.1145/3626202.3637563}, interhash = {b39f667586eacb90796faf83366ec1f6}, intrahash = {4b98fcc53499792d05635323085b086a}, keywords = {dblp}, pages = {97-107}, publisher = {ACM}, timestamp = {2024-04-22T07:46:05.000+0200}, title = {Formal Verification of Source-to-Source Transformations for HLS.}, url = {http://dblp.uni-trier.de/db/conf/fpga/fpga2024.html#PouchetTZCP0Z24}, year = 2024 }