DME detects faults via canonical instruction-trace comparison across semantically equivalent but address-space-diversified program replicas produced by independent compilation.
Thus: Pstep ≤ C |S| ·ε
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
DME detects faults via canonical instruction-trace comparison across semantically equivalent but address-space-diversified program replicas produced by independent compilation.