LATTE '21

Yann Herklotz and John Wickerson. High-level synthesis tools should be proven correct. In Workshop on Languages, Tools, and Techniques for Accelerator Design, 2021.
 pdf 

FPGA '21

Zewei Du, Yann Herklotz, Nadesh Ramanathan, and John Wickerson. Fuzzing high-level synthesis tools. In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, 2021.
[ DOI | slides ]