Santiago Cuellar

According to our database, Santiago Cuellar authored at least 3 papers between 2014 and 2017.

Collaborative distances:

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

2017

Bringing Order to the Separation Logic Jungle.

Qinxiang Cao, Santiago Cuellar, Andrew W. Appel

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

2015

Compositional CompCert.

Gordon Stewart, Lennart Beringer, Santiago Cuellar, 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 Cuellar, Adam Chlipala

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