Get started
Author

Yann Herklotz

Observed name: Herklotz, Yann
ORCID: 0000-0002-2329-1029
Observed ORCID: 0000-0002-2329-1029
OpenAlex ID: A5085695502
Finding and Understanding Bugs in FPGA Synthesis Tools
2020 · Yann Herklotz, John Wickerson · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) · 55
Formal verification of high-level synthesis
2021 · Yann Herklotz, James D. Pollard, et al. · Proceedings of the ACM on Programming Languages · 43
PDF
An Empirical Study of the Reliability of High-Level Synthesis Tools
2021 · Yann Herklotz, Zewei Du, et al. · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) · 27
Mechanised Semantics for Gated Static Single Assignment
2023 · Yann Herklotz, Delphine Demange, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 10
PDF
Hyperblock Scheduling for Verified High-Level Synthesis
2024 · Yann Herklotz, John Wickerson · Proceedings of the ACM on Programming Languages · 7
Resource Sharing for Verified High-Level Synthesis
2022 · Michalis Pardalos, Yann Herklotz, et al. · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) · 5
Interoperability of Proof Systems with SC-TPTP
2025 · Simon Guilloud, Julie Cailler, et al. · Lecture notes in computer science · 2
PDF
Fuzzing High-Level Synthesis Tools
2021 · Zewei Du, Yann Herklotz, et al. · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) · 2
Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits
2026 · Yann Herklotz, Ayatallah Elakhras, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 1
Graphiti Artefact ASPLOS 2026
2025 · Herklotz, Yann, Elakhras, Ayatallah, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Compositional MSI Proof
2025 · Camaioni, Martina, Herklotz, Yann, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
LARK: Lean-Assisted Reasoning for LLM-Generated GPU Kernels
2026 · Zhang, Zixi, Nie, Jiayi, et al. · arXiv (Cornell University)
PDF
Towards Composable Proofs of Cache Coherence Protocols
2026 · Martina Camaioni, Yann Herklotz, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
GSA to HDL: Towards principled generation of dynamically scheduled circuits
2023 · Rajagopal, Aditya, Vink, Diederik Adriaan, et al. · arXiv (Cornell University)
PDF
Versmith Summary Data
2019 · Herklotz, Yann · Figshare
Works count: 22
Citation count: 158
H-index: 5
I10-index: 4
Year
Topic
Type