76 citations · 129 across the 23 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
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…
cs.SE2022★ 8 cited
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…
cs.SE2022★ 2 cited
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…