Browsing Computer Science and Automation (CSA) by Author "Mukherjee, Suvam"
Now showing items 1-1 of 1
-
Efficient Static Analyses for Concurrent Programs
Mukherjee, Suvam (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 ...