santiago cuellar
Title
Cited by
Cited by
Year
Compositional compcert
G Stewart, L Beringer, S Cuellar, AW Appel
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
652015
Compiler verification meets cross-language linking via data abstraction
P Wang, S Cuellar, A Chlipala
ACM SIGPLAN Notices 49 (10), 675-690, 2014
252014
Bringing order to the separation logic jungle
Q Cao, S Cuellar, AW Appel
Asian Symposium on Programming Languages and Systems, 190-211, 2017
92017
Conservation of a room: A treatment proposal for Mark Rothko's Harvard Murals
J Stenger, N Khandekar, R Raskar, S Cuellar, A Mohan, R Gschwind
Studies in Conservation 61 (6), 348-361, 2016
92016
Compiler correctness for concurrency: from comncurrent separation logic to shared memory assembly language
S Cuellar, N Giannarakis, JM Madiot, W Mansky, L Beringer, Q Cao, ...
Technical Report TBD, Department of Computer Science, Princeton University, 2020
12020
Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.
S Cuellar
2020
Putting order to the separation logic jungle
Q Cao, S Cuellar, A Appel
Top-to-bottom verification of well synchronized C programs on weakly consistent machines
S Cuellar, N Giannarakis, JM Madiot, L Beringer, Q Cao, A Appel
The system can't perform the operation now. Try again later.
Articles 1–8