| 
|
Quote: Chord for race detection using lock-based, fork/join, and wait/notify synchronization; identified 18 bugs in jdbf
Topic:
race conditions
Quotation Skeleton
In this paper, we present a novel technique … We have implemented our method in a tool … mature and widely used, and found 387 distinct … [p. 309] We handle three idioms: lexically-scoped, lock-based synchronization, … [p. 316] Chord … found 130 harmful races in 'jdbf' indicating 18 … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: race conditions (33 items)