Yann Herklotz

According to our database, Yann Herklotz authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Hyperblock Scheduling for Verified High-Level Synthesis.

Yann Herklotz, John Wickerson

Proc. ACM Program. Lang., 2024

2023

GSA to HDL: Towards principled generation of dynamically scheduled circuits.

Aditya Rajagopal, Diederik Adriaan Vink, Jianyi Cheng, Yann Herklotz

CoRR, 2023

Mechanised Semantics for Gated Static Single Assignment.

Yann Herklotz, Delphine Demange, Sandrine Blazy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Resource Sharing for Verified High-Level Synthesis.

Michalis Pardalos, Yann Herklotz, John Wickerson

Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022

2021

Formal verification of high-level synthesis.

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson

Proc. ACM Program. Lang., 2021

Fuzzing High-Level Synthesis Tools.

Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson

Proceedings of the FPGA '21: The 2021 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Virtual Event, USA, February 28, 2021

An Empirical Study of the Reliability of High-Level Synthesis Tools.

Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson

Proceedings of the 29th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2021

2020

Finding and Understanding Bugs in FPGA Synthesis Tools.

Yann Herklotz, John Wickerson

Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020