@doctoralThesis{Chen_2016,
title={Store buffer reduction theorem and application},
author={Chen, Geng},
doi={http://dx.doi.org/10.22028/D291-26653},
year={2016}
}