| Compositional compcert G Stewart, L Beringer, S Cuellar, AW Appel Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 85 | 2015 |
| Compiler verification meets cross-language linking via data abstraction P Wang, S Cuellar, A Chlipala ACM SIGPLAN Notices 49 (10), 675-690, 2014 | 28 | 2014 |
| Bringing order to the separation logic jungle Q Cao, S Cuellar, AW Appel Asian Symposium on Programming Languages and Systems, 190-211, 2017 | 13 | 2017 |
| 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 | 12 | 2016 |
| Compiler Correctness for Concurrency: from concurrent 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 | 3 | 2020 |
| Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency. S Cuellar Princeton, NJ: Princeton University, 2020 | 1 | 2020 |
| Putting order to the separation logic jungle Q Cao, S Cuellar, A Appel Draft, 2017 | 1 | 2017 |
| 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 | | |
