Santiago Cuellar

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Database Management

Data Abstraction

Document Retrieval

Top Venues

Publications

Qinxiang Cao, Santiago Cuellar, Andrew W. Appel
Bringing Order to the Separation Logic Jungle. APLAS (2017)
Gordon Stewart, Lennart Beringer, Santiago Cuellar, Andrew W. Appel
Compositional CompCert. POPL (2015)
Peng Wang, Santiago Cuellar, Adam Chlipala
Compiler verification meets cross-language linking via data abstraction. OOPSLA (2014)