Browsing by Subject "concurrency"

Now showing items 1-3 of 3

    • Commutativity-aware Runtime Verification for Concurrent Programs 
      Sun, Yahui (2021-02-25)
      Concurrent programs are notoriously difficult to write correctly, as scheduling nondeterminism can introduce subtle errors that are hard to detect and debug. Considerable effort has been made towards developing effective ...
    • 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 ...