| 
|
Quote: static race detection by conditional must not aliasing; sound analysis, found more races than another algorithm analysing likely races
Topic:
race conditions
Topic:
aliasing
Quotation Skeleton
The heart of a proof of race freedom … [for multi-threaded programs] … also distinct. This is an example of a … aliased, prove that two other objects are not … results for sound race detection of Java programs. … [p. 335] Our new algorithm found a total of … [from our earlier race checker] finds only 122, showing that our sound system can find … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: race conditions (33 items)
Topic: aliasing (28 items)