Displaying 2 results from an estimated 2 matches for "spe14".
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
On Mon, Jun 15, 2015 at 3:29 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> On Mon, Jun 15, 2015 at 10:33 AM, Christian Convey
> <christian.convey at gmail.com> wrote:
> > On Mon, Jun 15, 2015 at 11:02 AM, Daniel Berlin <dberlin at dberlin.org>
> wrote:
> Which paper are you using?
>
I'm mostly going from Robert Wilson's 1997 phd thesis,
2015 Jun 15
2
[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?
...pretty
> > sure I've seen a lot of the same ideas elsewhere as well.
>
> Yes, using summary/transfer functions has been tried a lot.
> Note: the numbers in most of these phd thesis do *not* get born out in
> practice.
>
> See, e.g, http://www.cse.unsw.edu.au/~ysui/papers/spe14.pdf
>
> vs
>
> http://impact.crhc.illinois.edu/shared/report/phd-thesis-erik-nystrom.pdf
>
> vs
> the wilson thesis.
>
Cool, I'll give those papers a read, thanks.
> In particular, i expect the wilson algorithm is going to fall over
> very badly on anything of e...