@inproceedings{HPCA-2011-LeeSNY,
	author        = "Dongyoon Lee and Mahmoud Said and Satish Narayanasamy and Zijiang Yang",
	booktitle     = "{Proceedings of the 17th International Conference on High-Performance Computer Architecture}",
	doi           = "10.1109/HPCA.2011.5749743",
	isbn          = "978-1-4244-9432-3",
	pages         = "357--358",
	publisher     = "{IEEE Computer Society}",
	title         = "{Offline symbolic analysis to infer Total Store Order}",
	year          = 2011,
}