Παρακολούθηση
santiago cuellar
santiago cuellar
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα princeton.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Compositional compcert
G Stewart, L Beringer, S Cuellar, AW Appel
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1312015
Compiler verification meets cross-language linking via data abstraction
P Wang, S Cuellar, A Chlipala
ACM SIGPLAN Notices 49 (10), 675-690, 2014
432014
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
242016
Bringing order to the separation logic jungle
Q Cao, S Cuellar, AW Appel
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
232017
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
92011
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
82020
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
52016
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
42023
Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency
S Cuellar
Princeton University, 2020
32020
Putting order to the separation logic jungle
Q Cao, S Cuellar, A Appel
Draft, 2017
12017
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–12