CompCertO: compiling certified open C components.

Jrmie Koenig, Zhong Shao

Browse the full PLDI paper archive.