Adding Explicit Load-Acquire and Store-Release Instructions to the RISC-V ISA. - Bryce Adern; Zachary Susskind; Brendan Sweeney (CoRR, 2023)