Browsing by Author "Sun, Yahui"
Now showing items 1-1 of 1
-
Sun, Yahui (2021-02-25)Concurrent programs are notoriously difficult to write correctly, as scheduling nondeterminism can introduce subtle errors that are hard to detect and debug. Considerable effort has been made towards developing effective ...