StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator. - Antonin Reitz; Aymeric Fromherz; Jonathan Protzenko (CoRR, 2024)

StarMalloc: Verifying a Modern, Hardened Memory Allocator. - Antonin Reitz; Aymeric Fromherz; Jonathan Protzenko (Proc. ACM Program. Lang., 2024)