AWDIT: An Optimal Weak Database Isolation Tester. - Lasse Møldrup; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2025)

Testing Message-Passing Concurrency. - Zheng Shi; Lasse Møldrup; Umang Mathur 001; Andreas Pavlogiannis (CoRR, 2025)