2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2025★ 2 cited
Weak Memory Model Formalisms: Introduction and Survey
Roger C. Su, Robert J. Colvin
Memory consistency models define the order in which accesses to shared memory in a concurrent system may be observed to occur. Such models are a necessity since program order is no…
cs.LO2024
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
Robert J. Colvin, Ian J. Hayes, Scott Heiner +3
Developers of low-level systems code providing core functionality for operating systems and kernels must address hardware-level features of modern multicore architectures. A partic…