@inproceedings{
Eide08Volatiles,
Author = {Eric Eide and John Regehr},
Title = {Volatiles Are Miscompiled, and What to Do about It},
Booktitle = {EMSOFT},
DOI = {10.1145/1450058.1450093},
Year = {2008}
}