default search action
BibTeX record conf/fpga/PouchetTZCP0Z24
@inproceedings{DBLP:conf/fpga/PouchetTZCP0Z24, author = {Louis{-}No{\"{e}}l Pouchet and Emily Tucker and Niansong Zhang and Hongzheng Chen and Debjit Pal and Gabriel Rodr{\'{\i}}guez and Zhiru Zhang}, editor = {Zhiru Zhang and Andrew Putnam}, title = {Formal Verification of Source-to-Source Transformations for {HLS}}, booktitle = {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}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3626202.3637563}, doi = {10.1145/3626202.3637563}, timestamp = {Mon, 15 Apr 2024 08:25:20 +0200}, biburl = {https://dblp.org/rec/conf/fpga/PouchetTZCP0Z24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.