76 citations · 129 across the 23 of their papers we have counts for
24 papers
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Ori Lahav, Brijesh Dongol, Heike Wehrheim
Rely-guarantee (RG) is a highly influential compositional proof technique for concurrent programs, which was originally developed assuming a sequentially consistent shared memory.…
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…
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…
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes
Cedric Richter, Heike Wehrheim
Real bug fixes found in open source repositories seem to be the perfect source for learning to localize and repair real bugs. However, the absence of large scale bug fix collection…
TSSB-3M: Mining single statement bugs at massive scale
Cedric Richter, Heike Wehrheim
Single statement bugs are one of the most important ingredients in the evaluation of modern bug detection and automatic program repair methods. By affecting only a single statement…
On Strong Observational Refinement and Forward Simulation
John Derrick, Simon Doherty, Brijesh Dongol +2
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recent…