54 citations · 63 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
There has been great progress recently in formally specifying the memory model of microprocessors like ARM and POWER. These specifications are, however, too complicated for reasoni…
cs.PL2016
Taming Weak Memory Models
Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan
Speculative techniques in microarchitectures relax various dependencies in programs, which contributes to the complexity of (weak) memory models. We show using WMM, a new weak memo…