"I just got my first POPL paper!"

Happy to share that "Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Model" has been **conditionally** accepted to appear at POPL 2026.

On his blog post, @hillelwayne.com challenges the correctness of scientific code. He is 100%, from my experience of finding bugs in my own experiments late in the process. A few suggestions to minimize this issue: wiki.alcidesfonseca.com/blog/trust-i...

GPU Memory Consistency: Specifications, Testing, and Opportunities for Performance Tooling

www.sigarch.org/blog/

On my way to ASPLOS / Eurosys ... Who from my network is also attending?

The results of the 14th Competition on Software Verification (SV-COMP 2025) are out.

Dartagnan (github.com/hernanponced...) got silver in the verification track (sv-comp.sosy-lab.org/2025/results...) and gold in the validation track (sv-comp.sosy-lab.org/2025/results...) of concurrent programs!

We are happy to announce the release of the standalone vatomic library (github.com/open-s4c/vat...). This is a header library of atomics operations, supporting mainstream architectures: ARMv7, ARMv8 (AArch32 and AArch64), RISC-V, and x86_64.

Are you attending #FOSDEM next weekend in Brussels? Join us for the BOG track "Multicore & Concurrency: Algorithms, Performance, Correctness"

fosdem.org/2025/schedul...