Tootfinder

1/​​2 Grad bin ich mal wieder expolodiert und habe dem Hörer*innen-Service des DLF gemailt …
Moin!
Sonntags um 12 Uhr komme ich mir endgültig verarscht vor …
Wie wäre es, wenn die DLF-/DLF-Kultur-Redakteurinnen* und Redakteure, die ständig Unmenschen einer rechtsextremen Partei interviewen, für Falce Balancing sorgen, in den Nachrichten rauf und runter gegen Geflüchtete hetzen, verpflichtet würden, sonntags um 12 Uhr den Text zur Freiheitsglocke nicht nur zu hören, …

Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
https://arxiv.org/abs/2506.20127 https://

Dynamic Race Detection With O(1) Samples
Happens before-based dynamic analysis is the go-to technique for detecting data races in large scale software projects due to the absence of false positive reports. However, such analyses are expensive since they employ expensive vector clock updates at each event, rendering them usable only for in-house testing. In this paper, we present a sampling-based, randomized race detector that processes only constantly many events of the input trace even in the worst case. This is the first sub-linear …