[hofa] CFA bootcamp

[Mitchell Wand]

I'd recommend:

1.  My paper with Paul Steckler on selective closure conversion, which has a
nice proof of soundness for 0CFA relative to a big-step semantics  ("0CFA is
an abstract interpretation of big-step semantics")

2. MacAllester's JACM paper on the complexity of solving Datalog queries,
which has a very clear description of the translation of 0CFA into Datalog.
The examples are very good; the complexity proof can probably be skipped on
the first pass.

3. Palsberg's paper on flow analysis in constraint form (despite the fact
that the proof has a serious bug.)

--Mitch

On Wed, Jun 16, 2010 at 3:05 PM, <hofa-request at lambda-calcul.us> wrote:

> Send HOFA mailing list submissions to
>        hofa at lambda-calcul.us
>
> To subscribe or unsubscribe via the World Wide Web, visit
>        http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us
> or, via email, send a message with subject or body 'help' to
>        hofa-request at lambda-calcul.us
>
> You can reach the person managing the list at
>        hofa-owner at lambda-calcul.us
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of HOFA digest..."
>
>
> Today's Topics:
>
>   1. CFA bootcamp (Matt Might)
>   2. Re: CFA bootcamp (Matthias Felleisen)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 15 Jun 2010 21:12:27 -0600
> From: Matt Might <might at cs.utah.edu>
> To: Higher-Order Flow Analysis Forum <hofa at lambda-calcul.us>
> Subject: [hofa] CFA bootcamp
> Message-ID:
>        <AANLkTim7HzpBXvcH19geLrLLfuBLOIhSL7L6Odvb6ODk at mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Every year I get a new crop of graduate students that need to spin up on
> CFA.
>
> I point them to Olin's dissertation and Jan Midtgaard's survey as open
> and close parens.
>
> I'm curious--do others have a specific resource that they recommend?
> Was there a paper on CFA that really brought it home for you as a grad
> student?
>
> Or, in game form, if you could recommend three additional CFA papers
> for a *beginning* grad student, which ones would they be?
>
> -Matt
>
>
> ------------------------------
>
> Message: 2
> Date: Wed, 16 Jun 2010 10:20:52 -0400
> From: Matthias Felleisen <matthias at ccs.neu.edu>
> To: Higher-Order Flow Analysis Forum <hofa at lambda-calcul.us>
> Subject: Re: [hofa] CFA bootcamp
> Message-ID: <B407C92F-5D08-4B64-9087-AE5AC8175452 at ccs.neu.edu>
> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes
>
>
> I'd use one of Nevin Heinze's SBA early papers for an alternative view
> of the same idea.
>
>
> On Jun 15, 2010, at 11:12 PM, Matt Might wrote:
>
> > Every year I get a new crop of graduate students that need to spin
> > up on CFA.
> >
> > I point them to Olin's dissertation and Jan Midtgaard's survey as open
> > and close parens.
> >
> > I'm curious--do others have a specific resource that they recommend?
> > Was there a paper on CFA that really brought it home for you as a grad
> > student?
> >
> > Or, in game form, if you could recommend three additional CFA papers
> > for a *beginning* grad student, which ones would they be?
> >
> > -Matt
> > _______________________________________________
> > HOFA mailing list
> > HOFA at lambda-calcul.us
> > http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us
>
>
>
> ------------------------------
>
> _______________________________________________
> HOFA mailing list
> HOFA at lambda-calcul.us
> http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us
>
>
> End of HOFA Digest, Vol 3, Issue 2
> **********************************
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lambda-calcul.us/pipermail/hofa-lambda-calcul.us/attachments/20100622/3f4709d8/attachment-0002.html>