1 paper
Pranith Kumar, Prasun Gera, Hyojong Kim +2
Weak-memory processors rely on ordering instructions for correctness, yet conventional implementations often enforce them more conservatively than the memory model requires. This o…