OOPSLA '21

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson. Formal verification of high-level synthesis. volume 5, New York, NY, USA, 11 2021. Association for Computing Machinery.
[ pdf ]

FCCM '21

Yann Herklotz, Zewei Du, Nadesh Ramanathan, and John Wickerson. An empirical study of the reliability of high-level synthesis tools. In 29th IEEE Annual Int. Symp. on Field-Programmable Custom Computing Machines, 2021.
[ DOI | artifact | pdf ]

FPGA '20

Yann Herklotz and John Wickerson. Finding and understanding bugs in FPGA synthesis tools. In ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays, 2020.
[ DOI | artifact | blog | pdf | poster | slides ]