Open in hackernews

Sound Static Data Race Verification for C [pdf]

https://patricklam.ca/papers/25.toplas.data-race-empirical.pdf
1luu7mo ago