Reports for Author "Beringer, Lennart" | Computer Science Department at Princeton University

Department of Computer Science

TR-014-19 - Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language (2020)
Authors: Cuellar, Santiago / Giannarakis, Nick / Madiot, Jean- Marie / Mansky, William / Beringer, Lennart / Cao, Qinxiang / Appel, Andrew