On Library Correctness Under Weak Memory Consistency [pdf]

Article URL: http://www.soundandcomplete.org/papers/Libraries-POPL-2019.pdf

Comments URL: https://news.ycombinator.com/item?id=18356196

Points: 4

# Comments: 0

from Hacker News: Front Page https://ift.tt/2yIZFKs
via