25 citations · 29 across the 4 of their papers we have counts for
1 paper · 1 filter
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…