Yann Herklotz

Orcid: 0000-0002-2329-1029

According to our database¹, Yann Herklotz authored at least 18 papers between 2020 and 2026.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, January, 2026

Towards Composable Proofs of Cache Coherence Protocols.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, December, 2025

Graphiti Artefact ASPLOS 2026.

[BibT_eX]

[DOI]

Dataset, December, 2025

Interoperability of Proof Systems with SC-TPTP.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Hyperblock Scheduling for Verified High-Level Synthesis.

[BibT_eX]

[DOI]

Yann Herklotz

John Wickerson

Proc. ACM Program. Lang., 2024

2023

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

[BibT_eX]

[DOI]

Aditya Rajagopal

Diederik Adriaan Vink

Jianyi Cheng

Yann Herklotz

CoRR, 2023

Mechanised Semantics for Gated Static Single Assignment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Fuzzing High-Level Synthesis Tools.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

Finding and Understanding Bugs in FPGA Synthesis Tools.

[BibT_eX]

[DOI]

Yann Herklotz

John Wickerson

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

Yann Herklotz

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...