activity
20222026
most citedReasoning about Promises in Weak Memory Models with Event Structures (Extended Version)

2 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

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.LO2023★ 1 cited

View-Based Axiomatic Reasoning for PSO (Extended Version)

Lara Bargmann, Heike Wehrheim

Weak memory models describe the semantics of concurrent programs on modern multi-core architectures. Reasoning techniques for concurrent programs, like Owicki-Gries-style proof cal…