Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of Source-to-Source Transformations for HLS.

L. Pouchet, E. Tucker, N. Zhang, H. Chen, D. Pal, G. Rodríguez, and Z. Zhang. FPGA, page 97-107. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Boosting Organic–Metal Oxide Heterojunction via Conjugated Small Molecules for Efficient and Stable Nonfullerene Polymer Solar CellsH. Liu, Z. Liu, S. Wang, J. Huang, H. Ju, Q. Chen, J. Yu, H. Chen, and C. Li. Advanced Energy Materials, (July 2019)FracBNN: Accurate and FPGA-Efficient Binary Neural Networks with Fractional Activations.Y. Zhang, J. Pan, X. Liu, H. Chen, D. Chen, and Z. Zhang. CoRR, (2020)Dopant-Free Hole-Transporting Material with a C3h Symmetrical Truxene Core for Highly Efficient Perovskite Solar CellsC. Huang, W. Fu, C. Li, Z. Zhang, W. Qiu, M. Shi, P. Heremans, A. Jen, and H. Chen. Journal of the American Chemical Society, 138 (8): 2528-2531 (2016)PMID: 26876042.Highly Efficient Sn/Pb Binary Perovskite Solar Cell via Precursor Engineering: A Two-Step Fabrication ProcessX. Lian, J. Chen, Y. Zhang, M. Qin, J. Li, S. Tian, W. Yang, X. Lu, G. Wu, and H. Chen. Advanced Functional Materials, (2019)A Comprehensive Evaluation of FPGA-Based Spatial Acceleration of LLMs.H. Chen, J. Zhang, Y. Du, S. Xiang, Z. Yue, N. Zhang, Y. Cai, and Z. Zhang. FPGA, page 185. ACM, (2024)Formal Verification of Source-to-Source Transformations for HLS.L. Pouchet, E. Tucker, N. Zhang, H. Chen, D. Pal, G. Rodríguez, and Z. Zhang. FPGA, page 97-107. ACM, (2024)High‐Performance Thickness Insensitive Perovskite Solar Cells with Enhanced Moisture StabilityJ. Chen, L. Zuo, Y. Zhang, X. Lian, W. Fu, J. Yan, J. Li, G. Wu, C. Li, and H. Chen. Advanced Energy Materials, (June 2018)HeteroFlow: An Accelerator Programming Model with Decoupled Data Placement for Software-Defined FPGAs.S. Xiang, Y. Lai, Y. Zhou, H. Chen, N. Zhang, D. Pal, and Z. Zhang. FPGA, page 78-88. ACM, (2022)Slapo: A Schedule Language for Progressive Optimization of Large Deep Learning Model Training.H. Chen, C. Yu, S. Zheng, Z. Zhang, Z. Zhang, and Y. Wang. ASPLOS (2), page 1095-1111. ACM, (2024)A Deep-Reinforcement-Learning-Based Scheduler for High-Level Synthesis.H. Chen, and M. Shen. FPGA, page 117. ACM, (2019)

BibSonomy

Disambiguation of "Chen, Hongzheng"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of Source-to-Source Transformations for HLS.

Please choose a person to relate this publication to

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Chen, Hongzheng"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Formal Verification of Source-to-Source Transformations for HLS.

Please choose a person to relate this publication to

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal Verification of Source-to-Source Transformations for HLS.