Nova: Safe Off-Heap Memory Allocation and Reclamation. - Ramy Fakhoury; Anastasia Braginsky; Idit Keidar; Yoav Zuriel (OPODIS, 2023)