Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic. - Jaehwang Jung; Sunho Park; Janggun Lee; Jeho Yeon; Jeehoon Kang (Proc. ACM Program. Lang., 2025)