[hofa] CFA bootcamp

[Jay McCarthy]

For those following at home, I think I've looked up URLs for the
papers Mitch suggests.

Jay

On Tue, Jun 22, 2010 at 3:37 PM, Mitchell Wand <wand at ccs.neu.edu> wrote:
> 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")

http://portal.acm.org/citation.cfm?id=178044

>
> 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.

On The Complexity Analysis of Static Analyses JACM 49(4): 512-537 (2002)
http://ttic.uchicago.edu/~dmcallester/sas01.ps


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

http://www.cs.ucla.edu/~palsberg/paper/toplas95-po.pdf

>
> --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
>> **********************************
>>
>
>
> _______________________________________________
> HOFA mailing list
> HOFA at lambda-calcul.us
> http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us
>
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93