Reports for Author "Cuellar, Santiago" | Computer Science Department at Princeton University

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
TR-002-20 - Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency (2020)
Authors: Cuellar, Santiago