Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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