HARTBREAKER paper

Paper

First seen 7/3/2026

Last seen 7/3/2026

Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

9 connections

HARTBREAKER introduces → 100% 2e

The HARTBREAKER paper introduces the HARTBREAKER multi-hart RISC-V CPU fuzzer.

determinism anchors introduces → 100% 2e

The paper introduces determinism anchors as a novel technique.

control-flow anchors introduces → 100% 2e

The paper introduces control-flow anchors as part of the determinism anchor framework.

data-flow anchors introduces → 100% 2e

The paper introduces data-flow anchors as part of the determinism anchor framework.

synchronization anchors introduces → 100% 2e

The paper introduces synchronization anchors to bound non-determinism for verification.

Quentin Bordier authored by → 100% 1e

Quentin Bordier is listed as an author of the HARTBREAKER paper.

Tobias Kovats authored by → 100% 1e

Tobias Kovats is listed as an author of the HARTBREAKER paper.

Flavien Solt authored by → 100% 1e

Flavien Solt is listed as an author of the HARTBREAKER paper.

Kaveh Razavi authored by → 100% 1e

Kaveh Razavi is listed as an author of the HARTBREAKER paper.