Browsing by Subject "Race Detection"
Now showing items 1-1 of 1
-
(2020-08-05)Races are common in all concurrency systems, including multithreaded programs, event-driven programs, distributed systems, etc. Existing static tools cannot scale well on large programs or report too many false positives ...