Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_lecture_26 [2007/07/01 22:58] feride.cetin |
sav07_lecture_26 [2007/07/01 23:20] feride.cetin |
||
|---|---|---|---|
| Line 127: | Line 127: | ||
| * Ignoring the effects of reflection and dynamic class loading. | * Ignoring the effects of reflection and dynamic class loading. | ||
| + | == Extentions presented in popl07 paper == | ||
| + | * Conditional must not aliasing, a new aliasing property and analysis. -> Distinct blocks should be protected by distinct locks. | ||
| + | * Disjoint reachability, a new lightweight shape property and analysis that can be used to compute conditional must not aliasing facts. | ||
| + | * A new race detection algorithm based on conditional must not aliasing that is sound(no annotations) and effective in practice. | ||
| [[Chord notes]] | [[Chord notes]] | ||