Hacker News new | past | comments | ask | show | jobs | submit login
On Library Correctness Under Weak Memory Consistency [pdf] (soundandcomplete.org)
23 points by ingve 5 months ago | hide | past | web | favorite



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: