Even more interesting from sepcompcert team:<p><a href="http:&#x2F;&#x2F;sf.snu.ac.kr&#x2F;gil.hur&#x2F;publications&#x2F;ROSAEC_2014_002.pdf" rel="nofollow">http:&#x2F;&#x2F;sf.snu.ac.kr&#x2F;gil.hur&#x2F;publications&#x2F;ROSAEC_2014_002.pdf</a>