Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis
Verifying read-copy-update in a logic for weak memory
PLDI, 2015.
@inproceedings{PLDI-2015-TassarottiDV, author = "Joseph Tassarotti and Derek Dreyer and Viktor Vafeiadis", booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}", doi = "10.1145/2737924.2737992", isbn = "978-1-4503-3468-6", pages = "110--120", publisher = "{ACM}", title = "{Verifying read-copy-update in a logic for weak memory}", year = 2015, }