Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Race Free Programs"
Now showing items 1-1 of 1
-
Efficient Static Analyses for Concurrent Programs
(2018-06-29)Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the entire computing spectrum. However, the large set of possible program behaviors make it difficult to write correct and ...