Lightweight verification of separate compilation

Cite this paper

@inproceedings{Kang2016LightweightVO, title={Lightweight verification of separate compilation}, author={Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, booktitle={POPL}, year={2016} }