Reasoning about Weak Isolation Levels in Separation Logic. - Anders Alnor Mathiasen; Léon Gondelman; Léon Ducruet; Amin Timany; Lars Birkedal (CoRR, 2025)

FSLH: Flexible Mechanized Speculative Load Hardening. - Roberto Blanco; Léon Ducruet; Sebastian Harwig; Catalin Hritcu (CoRR, 2025)