Yann Herklotz

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Yann Herklotz, John Wickerson
Hyperblock Scheduling for Verified High-Level Synthesis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yann Herklotz, Delphine Demange, Sandrine Blazy
Mechanised Semantics for Gated Static Single Assignment. CPP (2023)
Aditya Rajagopal, Diederik Adriaan Vink, Jianyi Cheng, Yann Herklotz
GSA to HDL: Towards principled generation of dynamically scheduled circuits. CoRR (2023)
Michalis Pardalos, Yann Herklotz, John Wickerson
Resource Sharing for Verified High-Level Synthesis. FCCM (2022)
Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson
Fuzzing High-Level Synthesis Tools. FPGA (2021)
Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson
An Empirical Study of the Reliability of High-Level Synthesis Tools. FCCM (2021)
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
Formal verification of high-level synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Yann Herklotz, John Wickerson
Finding and Understanding Bugs in FPGA Synthesis Tools. FPGA (2020)