synchronization anchors

Technique

First seen 7/3/2026

Last seen 7/3/2026

Evidence 4 chunks

NEIGHBORHOOD

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

3 connections

litmus tests uses → 90% 2e

Synchronization anchors scope non-determinism to allow verification with litmus tests.

HARTBREAKER paper ← introduces 100% 2e

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

HARTBREAKER ← implements 100% 2e

HARTBREAKER implements synchronization anchors to bound non-determinism for verification.