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 ]