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