The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. Chong, N., Sorensen, T., & Wickerson, J. In ACM Conf. on Programming Language Design and Implementation, 2018. To appear.
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++ [link]Blog post  bibtex   
@inproceedings{transactions,
	Author = {Chong, Nathan and Sorensen, Tyler and Wickerson, John},
	Booktitle = {ACM Conf. on Programming Language Design and Implementation},
	acronym = {PLDI},
	Note = {To appear.},
	Year = {2018},
	url_blog_post = {https://johnwickerson.wordpress.com/2018/02/12/what-do-you-get-if-you-cross-weak-memory-with-transactional-memory/},
	Title = {The Semantics of Transactions and Weak Memory in x86, {Power}, {ARMv8}, and {C++}},
	}

Downloads: 0