The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson. The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. In Dahlia Malkhi, Dan Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019. USENIX Association, 2019. [doi]

Authors

Nathan Chong

This author has not been identified. It may be one of the following persons: Look up 'Nathan Chong' in Google

Tyler Sorensen

This author has not been identified. Look up 'Tyler Sorensen' in Google

John Wickerson

This author has not been identified. Look up 'John Wickerson' in Google