The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. Chong, N., Sorensen, T., & Wickerson, J. In ACM Conf. on Programming Language Design and Implementation, 2018. \textbfDistinguished Paper award.
![The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Manuscript ![The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ [link]](https://bibbase.org/img/filetypes/link.svg "link")
Blog post Press Slides doi bibtex
Manuscript Blog post Press Slides doi bibtex Downloads: 0
{"_id":"2ZibMex5Pfu8YK4Eh","bibbaseid":"chong-sorensen-wickerson-thesemanticsoftransactionsandweakmemoryinx86powerarmandc-2018","downloads":0,"creationDate":"2018-04-23T19:44:27.245Z","title":"The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++","author_short":["Chong, N.","Sorensen, T.","Wickerson, J."],"year":2018,"bibtype":"inproceedings","biburl":"http://johnwickerson.github.io/john.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Chong"],"firstnames":["Nathan"],"suffixes":[]},{"propositions":[],"lastnames":["Sorensen"],"firstnames":["Tyler"],"suffixes":[]},{"propositions":[],"lastnames":["Wickerson"],"firstnames":["John"],"suffixes":[]}],"booktitle":"ACM Conf. on Programming Language Design and Implementation","acronym":"PLDI","note":"\\textbfDistinguished Paper award.","year":"2018","url_manuscript":"https://johnwickerson.github.io/papers/transactions.pdf","url_blog_post":"https://johnwickerson.wordpress.com/2018/02/12/what-do-you-get-if-you-cross-weak-memory-with-transactional-memory/","url_press":"http://www.imperial.ac.uk/news/186808/research-feature-detecting-potential-bugs-computer/","url_slides":"talks/john_UCL_may2018.pdf","title":"The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++","doi":"10.1145/3192366.3192373","author_short":["Chong, N.","Sorensen, T.","Wickerson, J."],"key":"transactions","id":"transactions","bibbaseid":"chong-sorensen-wickerson-thesemanticsoftransactionsandweakmemoryinx86powerarmandc-2018","role":"author","urls":{" manuscript":"https://johnwickerson.github.io/papers/transactions.pdf"," blog post":"https://johnwickerson.wordpress.com/2018/02/12/what-do-you-get-if-you-cross-weak-memory-with-transactional-memory/"," press":"http://www.imperial.ac.uk/news/186808/research-feature-detecting-potential-bugs-computer/"," slides":"http://johnwickerson.github.io/talks/john_UCL_may2018.pdf"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["semantics","transactions","weak","memory","x86","power","arm","chong","sorensen","wickerson"],"keywords":[],"authorIDs":[],"dataSources":["uwKsyN4JQqFqb3dfX"]}