Yann Herklotz

11 papers A 3B 2Misc 2Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits.
ASPLOS (2)
Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat
2026 B conf
Towards Composable Proofs of Cache Coherence Protocols.
CPP
Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat
2025 A conf
Interoperability of Proof Systems with SC-TPTP.
CADE
Simon Guilloud, Julie Cailler, Sankalp Gambhir, Auguste Poiroux, Yann Herklotz, Thomas Bourgeat, Viktor Kuncak
2024 J jnl
Hyperblock Scheduling for Verified High-Level Synthesis.
Proc. ACM Program. Lang.
Yann Herklotz, John Wickerson
2023 J jnl
GSA to HDL: Towards principled generation of dynamically scheduled circuits.
CoRR
Aditya Rajagopal, Diederik Adriaan Vink, Jianyi Cheng, Yann Herklotz
2023 B conf
Mechanised Semantics for Gated Static Single Assignment.
CPP
Yann Herklotz, Delphine Demange, Sandrine Blazy
2022 Misc conf
Resource Sharing for Verified High-Level Synthesis.
FCCM
Michalis Pardalos, Yann Herklotz, John Wickerson
2021 Misc conf
An Empirical Study of the Reliability of High-Level Synthesis Tools.
FCCM
Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson
2021 J jnl
Formal verification of high-level synthesis.
Proc. ACM Program. Lang.
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
2021 A conf
Fuzzing High-Level Synthesis Tools.
FPGA
Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson
2020 A conf
Finding and Understanding Bugs in FPGA Synthesis Tools.
FPGA
Yann Herklotz, John Wickerson
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling