Eric Eide John Regehr Volatiles are miscompiled, and what to do about it. 255-264 2008 EMSOFT http://doi.acm.org/10.1145/1450058.1450093 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#EideR08