Santiago Cuéllar

According to our database, Santiago Cuéllar authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities.

Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer

Proceedings of the 32nd USENIX Security Symposium, 2023

2020

Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.

Santiago Cuéllar

PhD thesis, 2020

2017

Bringing Order to the Separation Logic Jungle.

Qinxiang Cao, Santiago Cuéllar, Andrew W. Appel

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Compositional CompCert.

Gordon Stewart, Lennart Beringer, Santiago Cuéllar, Andrew W. Appel

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Compiler verification meets cross-language linking via data abstraction.

Peng Wang, Santiago Cuéllar, Adam Chlipala

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014