@inproceedings{transactions,
	Author = {Chong, Nathan and Sorensen, Tyler and Wickerson, John},
	Booktitle = {ACM Conf. on Programming Language Design and Implementation},
	acronym = {PLDI},
	Note = {\textbf{Distinguished Paper award.} Also presented at USENIX ATC 2019 in the \textbf{Best of the Rest} track.},
	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_video = {https://www.youtube.com/watch?v=0MBUhonK2NY},
	url_long_slides = {talks/john_UCL_may2018.pdf},
	url_short_slides = {talks/USENIX_2019.pdf},
	Title = {The Semantics of Transactions and Weak Memory in x86, {Power}, {ARM}, and {C++}},
	doi={10.1145/3192366.3192373},
	}

{"_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. Also presented at USENIX ATC 2019 in the \\textbfBest of the Rest track.","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_video":"https://www.youtube.com/watch?v=0MBUhonK2NY","url_long_slides":"talks/john_UCL_may2018.pdf","url_short_slides":"talks/USENIX_2019.pdf","title":"The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++","doi":"10.1145/3192366.3192373","bibtex":"@inproceedings{transactions,\n\tAuthor = {Chong, Nathan and Sorensen, Tyler and Wickerson, John},\n\tBooktitle = {ACM Conf. on Programming Language Design and Implementation},\n\tacronym = {PLDI},\n\tNote = {\\textbf{Distinguished Paper award.} Also presented at USENIX ATC 2019 in the \\textbf{Best of the Rest} track.},\n\tYear = {2018},\n\turl_manuscript = {https://johnwickerson.github.io/papers/transactions.pdf},\n\turl_blog_post = {https://johnwickerson.wordpress.com/2018/02/12/what-do-you-get-if-you-cross-weak-memory-with-transactional-memory/},\n\turl_press = {http://www.imperial.ac.uk/news/186808/research-feature-detecting-potential-bugs-computer/},\n\turl_video = {https://www.youtube.com/watch?v=0MBUhonK2NY},\n\turl_long_slides = {talks/john_UCL_may2018.pdf},\n\turl_short_slides = {talks/USENIX_2019.pdf},\n\tTitle = {The Semantics of Transactions and Weak Memory in x86, {Power}, {ARM}, and {C++}},\n\tdoi={10.1145/3192366.3192373},\n\t}\n\n","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/"," video":"https://www.youtube.com/watch?v=0MBUhonK2NY"," long slides":"http://johnwickerson.github.io/talks/john_UCL_may2018.pdf"," short slides":"http://johnwickerson.github.io/talks/USENIX_2019.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["semantics","transactions","weak","memory","x86","power","arm","chong","sorensen","wickerson"],"keywords":[],"authorIDs":[],"dataSources":["uwKsyN4JQqFqb3dfX"]}