Compositional compcert G Stewart, L Beringer, S Cuellar, AW Appel Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 135 | 2015 |
Compiler verification meets cross-language linking via data abstraction P Wang, S Cuellar, A Chlipala ACM SIGPLAN Notices 49 (10), 675-690, 2014 | 47 | 2014 |
Bringing order to the separation logic jungle Q Cao, S Cuellar, AW Appel Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 27 | 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 | 27 | 2016 |
Cheesecloth:{Zero-Knowledge} Proofs of Real World Vulnerabilities S Cuéllar, B Harris, J Parker, S Pernsteiner, E Tromer 32nd USENIX Security Symposium (USENIX Security 23), 6525-6540, 2023 | 9 | 2023 |
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, ... Department of Computer Science, Princeton University, 2020 | 9 | 2020 |
Non-invasive color restoration of faded paintings using light from a digital projector S Cuellar, J Stenger, R Gschwind, A Mohan, Y Mukaigawa, R Raskar, ... ICOM-CC 16th Triennial Conference Lisbon, 19-23, 2011 | 9 | 2011 |
Non-invasive color restoration of Mark Rothko’s Harvard murals using light from a digital projector’ J Stenger, N Khandekar, R Raskar, S Cuellar, A Mohan, R Gschwind, ... Colour Change in Paintings, 73-76, 2016 | 5 | 2016 |
Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency S Cuellar Princeton University, 2020 | 3 | 2020 |
Putting order to the separation logic jungle Q Cao, S Cuellar, A Appel Draft, 2017 | 1 | 2017 |
Santiago Cuellar JS Stenger, R GSCHWIND, A MOHAN, R RASKAR, K EREMIN, ... | | |
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 | | |