• 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 ...