• AVIO

  • Referenced in 7 articles [sw23090]
  • atomicity violations via access interleaving invariants. Concurrency bugs are among the most difficult to test ... trend worsens this problem. Most previous concurrency bug detection work focuses on one bug subclass...
  • LHAPDF

  • Referenced in 10 articles [sw11470]
  • which fixes many fundamental metadata and concurrency bugs in LHAPDF5. Compatibility routines are provided...
  • CalFuzzer

  • Referenced in 4 articles [sw02027]
  • dynamic program analyses to identify potential concurrency bugs, such as data races, deadlocks, and atomicity ... explicitly control the underlying scheduler of the concurrent program ... accurately and quickly discover real concurrency bugs, if any, with very high probability and little...
  • CTrigger

  • Referenced in 3 articles [sw23066]
  • atomicity violation bugs from their hiding places. Multicore hardware is making concurrent programs pervasive. Unfortunately ... bugs. Among different types of concurrency bugs, atomicity violation bugs are common and important. Existing ... requiring bugs to manifest during monitored runs, which is an open problem in concurrent program ... interleaving characteristics of the common practice in concurrent program testing (i.e., running a program over...
  • DPF

  • Referenced in 3 articles [sw12853]
  • checker was able to find new concurrency bugs in two open-source web applications, including...
  • PEDAL

  • Referenced in 1 article [sw23564]
  • dynamic analysis tool for efficient concurrency bug reproduction in big data environment. Concurrency bugs usually ... challenging task. To reproduce concurrency bugs with a given input, one would have to explore ... This paper explores the topic of concurrency bug reproduction using runtime data. We approach ... search algorithm, in order to reproduce concurrency bugs more efficiently. Those schedule exploration algorithms...
  • Gadara

  • Referenced in 1 article [sw09940]
  • Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets ... eliminate certain classes of concurrency bugs in multithreaded software by controlling the execution of programs ... avoidance of certain types of concurrency bugs, such as deadlocks. We focus on the case ... Gadara methodology to other classes of concurrency bugs is briefly discussed...
  • BARRACUDA

  • Referenced in 1 article [sw28761]
  • correctness challenges by increasing the possibility for bugs as the number of thread interleavings balloons ... this scale. We present BARRACUDA, a concurrency bug detector for GPU programs written in Nvidia ... BARRACUDA to detect new classes of concurrency bugs. BARRACUDA operates at the binary level ... optimizations that are crucial for scaling concurrency bug detection to over a million threads...
  • ThreadSafe

  • Referenced in 1 article [sw26819]
  • static analysis tool for finding concurrency bugs and potential performance issues in Java™ programs. Concurrency ... ThreadSafe looks for the most common concurrency bugs… and some rarer bugs...
  • AutoSynch

  • Referenced in 1 article [sw21569]
  • signal threads explicitly results in many concurrency bugs due to missed notifications, or notifications ... Java called AutoSynch that eliminates such concurrency bugs by removing the burden of signaling from...
  • GKLEE

  • Referenced in 10 articles [sw12794]
  • modeling of SIMD concurrency generate false alarms resulting in wasted bug-hunting. They also often...
  • CURD

  • Referenced in 1 article [sw28763]
  • level programming, making it easy for concurrency bugs such as data races to arise. These ... currency bugs can be extremely subtle and di cult to debug due to the massive ... numbers of threads running concurrently on a modern GPU. While some tools exist to detect ... finds 35 races across our benchmarks, including bugs in established benchmark suites and in sample...
  • Wolf

  • Referenced in 2 articles [sw01299]
  • Wolf -- bug hunter for concurrent software using formal methods Wolf is a “push-button” model...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • also employ shared memory threads to manage concurrency within smaller task sub-groups, capitalizing ... mixed programming styles can result in additional bugs. MPI libraries themselves can be buggy...
  • PENELOPE

  • Referenced in 1 article [sw23067]
  • weaving threads to expose atomicity violations. Testing concurrent programs is challenged by the interleaving explosion ... repro) are efficient and effective in finding bugs related to atomicity violations...
  • CodeSonar

  • Referenced in 2 articles [sw16481]
  • flagship static analysis SAST tool, identifies bugs that can result in system crashes, unexpected behavior ... benchmarks in finding static memory, resource management, concurrency, and other defects. By analyzing both source...
  • aPET

  • Referenced in 1 article [sw13774]
  • distributed asynchronous language based on concurrent objects. The system receives as input a program ... aPET can be relevant to spot bugs during program development and also to perform regression...
  • Kima

  • Referenced in 3 articles [sw08979]
  • play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency ... rewritten programs systematically. As long as bugs are near-misses, Kima proposes a rather small...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...