Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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.
  
 
chord_notes.txt · Last modified: 2007/06/20 01:28 by vkuncak
 
© EPFL 2018 - Legal notice