@inproceedings{CGO-2017-ChakrabortyV,
	author        = "Soham Chakraborty and Viktor Vafeiadis",
	booktitle     = "{Proceedings of the 15th International Symposium on Code Generation and Optimization}",
	isbn          = "978-1-5090-4931-8",
	pages         = "100--110",
	publisher     = "{ACM}",
	title         = "{Formalizing the concurrency semantics of an LLVM fragment}",
	year          = 2017,
}