1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
Towards Proving Liveness on Weak Memory (Extended Version)
Lara Bargmann, Heike Wehrheim
Reasoning about concurrent programs executed on weak memory models is an inherently complex task. So far, existing proof calculi for weak memory models only cover safety properties…
cs.LO2023★ 1 cited
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)
Lara Bargmann, Heike Wehrheim
Weak memory models specify the semantics of concurrent programs on multi-core architectures. Reasoning techniques for weak memory models are often specialized to one fixed model an…