Samuel A. Alexander. Private Memory Confers No Advantage. In Alessandro Aldini, editor, Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Volume 14568 of Lecture Notes in Computer Science, pages 42-53, Springer, 2023. [doi]
Abstract is missing.