Browsing by Subject "happens-before"

Now showing items 1-2 of 2

    • Fast and Precise On-The-Fly Data Race Detection 
      Rajagopalan, Arun Krishnakumar (2016-05-03)
      While concurrent programming is quickly gaining popularity lately, developing bug-free programs is still challenging. Although developers have a wide choice of race detection tools available, we have found that the majority ...
    • Improving Static Analysis for Software Security at Compile-time and Runtime 
      Zhao, Gang (2022-04-11)
      Software security is a crucial factor in software development and maintenance. Static analysis approaches can help secure software in different ways. First, it can help identify vulnerabilities ahead-of run. For example, ...