Finding and Understanding Bugs in FPGA Synthesis Tools. - Yann Herklotz; John Wickerson (FPGA, 2020)

An Empirical Study of the Reliability of High-Level Synthesis Tools. - Yann Herklotz; Zewei Du; Nadesh Ramanathan; John Wickerson (FCCM, 2021)

Fuzzing High-Level Synthesis Tools. - Zewei Du; Yann Herklotz; Nadesh Ramanathan; John Wickerson (FPGA, 2021)

Formal verification of high-level synthesis. - Yann Herklotz; James D. Pollard; Nadesh Ramanathan; John Wickerson (Proc. ACM Program. Lang., 2021)

Resource Sharing for Verified High-Level Synthesis. - Michalis Pardalos; Yann Herklotz; John Wickerson (FCCM, 2022)

Mechanised Semantics for Gated Static Single Assignment. - Yann Herklotz; Delphine Demange; Sandrine Blazy (CPP, 2023)

GSA to HDL: Towards principled generation of dynamically scheduled circuits. - Aditya Rajagopal; Diederik Adriaan Vink; Jianyi Cheng; Yann Herklotz (CoRR, 2023)

Hyperblock Scheduling for Verified High-Level Synthesis. - Yann Herklotz; John Wickerson (Proc. ACM Program. Lang., 2024)

Interoperability of Proof Systems with SC-TPTP. - Simon Guilloud; Julie Cailler; Sankalp Gambhir; Auguste Poiroux; Yann Herklotz; Thomas Bourgeat; Viktor Kuncak (CADE, 2025)