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 ...
    • Verifiable early-reply with C++ 

      Cook, Stephen Wendell (Texas A&M University, 2007-09-17)
      Concurrent programming can improve performance. However, it comes with two drawbacks. First, concurrent programs can be more difficult to design and reason about than their sequential counterparts. Second, error conditions ...