Peng Wang, Santiago Cuellar, Adam Chlipala. Compiler verification meets cross-language linking via data abstraction. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 675-690, ACM, 2014. [doi]
Abstract is missing.