Travelled to:1 × India
1 × USA
Collaborated with:P.Wang A.Chlipala G.Stewart L.Beringer A.W.Appel
Talks about:composit (1) abstract (1) languag (1) compil (1) verif (1) cross (1) meet (1) link (1) data (1) comp (1)
Person: Santiago Cuellar
DBLP: Cuellar:Santiago
Contributed to:
2015
2014Wrote 2 papers:
- POPL-2015-StewartBCA #composition
- Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
- OOPSLA-2014-WangCC #abstraction #compilation #verification
- Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.