Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
chord_notes [2007/06/20 00:47] vkuncak |
chord_notes [2007/06/20 01:28] (current) vkuncak |
||
|---|---|---|---|
| Line 28: | Line 28: | ||
| Experimental results | Experimental results | ||
| + | |||
| + | POPL'07 extensions - sound, no annotations | ||
| + | * separate method and thread creation context | ||
| + | * disjoint reachability to check conditional may alias analysis | ||
| + | * more precise escape analysis | ||
| + | * may-happen in parallel analysis: if thread and call context can execute at the same time | ||
| + | * intraprocedural must alias analysis for field accesses | ||
| + | |||
| + | Disjoint reachability analysis: approximate transitive closure of (o1,o2) such that there was some o1.f=o2 assignment during execution. | ||