2 citations · 4 across the 3 of their papers we have counts for
3 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…
cs.LO2022★ 2 cited
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Modern processors such as ARMv8 and RISC-V allow executions in which independent instructions within a process may be reordered. To cope with such phenomena, so called promising se…