55 citations · 90 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 55 cited
Bridging the Gap between Programming Languages and Hardware Weak Memory Models
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
We develop a new intermediate weak memory model, IMM, as a way of modularizing the proofs of correctness of compilation from concurrent programming languages with weak memory consi…
cs.LO2018★ 2 cited
On the Semantics of Snapshot Isolation
Azalea Raad, Ori Lahav, Viktor Vafeiadis
Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM). Its semantics is formally defi…