Reports for Author "Cuellar, Santiago"
-
TR-014-19 -
Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language
(2020-03-20)
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-03-20)
Cuellar, Santiago