Yann Herklotz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits. | Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat |
| 2026 | CPP | Towards Composable Proofs of Cache Coherence Protocols. | Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat |
| 2025 | CADE | Interoperability of Proof Systems with SC-TPTP. | Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak |
| 2023 | CPP | Mechanised Semantics for Gated Static Single Assignment. | Yann Herklotz, Delphine Demange, Sandrine Blazy |
| 2022 | FCCM | Resource Sharing for Verified High-Level Synthesis. | Michalis Pardalos, Yann Herklotz, John Wickerson |
| 2021 | FCCM | An Empirical Study of the Reliability of High-Level Synthesis Tools. | Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson |
| 2021 | FPGA | Fuzzing High-Level Synthesis Tools. | Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson |
| 2020 | FPGA | Finding and Understanding Bugs in FPGA Synthesis Tools. | Yann Herklotz, John Wickerson |