Browsing by Subject "Program Analysis"
Now showing items 1-2 of 2
-
Data races are a type of bug in concurrent programming which can result in unexpected program behavior. When multiple threads modify the same memory location in parallel, a data race occurs. Detecting these races is a ...
-
(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 ...