search for: avots

Displaying 2 results from an estimated 2 matches for "avots".

Did you mean: avons
2008 Mar 08
0
[LLVMdev] Google Summer of Code Idea
FWIW, Ben Hardekopf asked me to post this for him on the subject Regarding Whaley and Lam's BDD-based approach to context-sensitive analysis, there is a paper by the same research group (Avots et al in ICSE'05) that adapts their technique for C. The results are not very encouraging -- their system doesn't scale nearly as well for C as it did for Java. The primary difference is that unlike Java, in C top-level variables can have their address taken and be passed between functions,...
2008 Mar 05
2
[LLVMdev] Google Summer of Code Idea
On Wed, Mar 5, 2008 at 3:44 AM, Xi Wang <xi.wang at gmail.com> wrote: > On Mon, Mar 3, 2008 at 6:55 PM, Richard Warburton > > <richard.warburton at gmail.com> wrote: > > > > No > > > I've got a BDD based version of andersen's around already (uncommitted). > > > It's slower in time (by a factor of 8 or so), but very slightly (1-2