Offline symbolic analysis to infer Total Store Order | IEEE Conference Publication | IEEE Xplore