I'd recommend:<br><br>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")<br>
<br>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.<br>
<br>3. Palsberg's paper on flow analysis in constraint form (despite the fact that the proof has a serious bug.)<br><br>--Mitch<br><br><div class="gmail_quote">On Wed, Jun 16, 2010 at 3:05 PM, <span dir="ltr"><<a href="mailto:hofa-request@lambda-calcul.us">hofa-request@lambda-calcul.us</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Send HOFA mailing list submissions to<br>
<a href="mailto:hofa@lambda-calcul.us">hofa@lambda-calcul.us</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
<a href="http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us" target="_blank">http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us</a><br>
or, via email, send a message with subject or body 'help' to<br>
<a href="mailto:hofa-request@lambda-calcul.us">hofa-request@lambda-calcul.us</a><br>
<br>
You can reach the person managing the list at<br>
<a href="mailto:hofa-owner@lambda-calcul.us">hofa-owner@lambda-calcul.us</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of HOFA digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. CFA bootcamp (Matt Might)<br>
2. Re: CFA bootcamp (Matthias Felleisen)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Tue, 15 Jun 2010 21:12:27 -0600<br>
From: Matt Might <<a href="mailto:might@cs.utah.edu">might@cs.utah.edu</a>><br>
To: Higher-Order Flow Analysis Forum <<a href="mailto:hofa@lambda-calcul.us">hofa@lambda-calcul.us</a>><br>
Subject: [hofa] CFA bootcamp<br>
Message-ID:<br>
<<a href="mailto:AANLkTim7HzpBXvcH19geLrLLfuBLOIhSL7L6Odvb6ODk@mail.gmail.com">AANLkTim7HzpBXvcH19geLrLLfuBLOIhSL7L6Odvb6ODk@mail.gmail.com</a>><br>
Content-Type: text/plain; charset=ISO-8859-1<br>
<br>
Every year I get a new crop of graduate students that need to spin up on CFA.<br>
<br>
I point them to Olin's dissertation and Jan Midtgaard's survey as open<br>
and close parens.<br>
<br>
I'm curious--do others have a specific resource that they recommend?<br>
Was there a paper on CFA that really brought it home for you as a grad<br>
student?<br>
<br>
Or, in game form, if you could recommend three additional CFA papers<br>
for a *beginning* grad student, which ones would they be?<br>
<br>
-Matt<br>
<br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Wed, 16 Jun 2010 10:20:52 -0400<br>
From: Matthias Felleisen <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>><br>
To: Higher-Order Flow Analysis Forum <<a href="mailto:hofa@lambda-calcul.us">hofa@lambda-calcul.us</a>><br>
Subject: Re: [hofa] CFA bootcamp<br>
Message-ID: <<a href="mailto:B407C92F-5D08-4B64-9087-AE5AC8175452@ccs.neu.edu">B407C92F-5D08-4B64-9087-AE5AC8175452@ccs.neu.edu</a>><br>
Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes<br>
<br>
<br>
I'd use one of Nevin Heinze's SBA early papers for an alternative view<br>
of the same idea.<br>
<br>
<br>
On Jun 15, 2010, at 11:12 PM, Matt Might wrote:<br>
<br>
> Every year I get a new crop of graduate students that need to spin<br>
> up on CFA.<br>
><br>
> I point them to Olin's dissertation and Jan Midtgaard's survey as open<br>
> and close parens.<br>
><br>
> I'm curious--do others have a specific resource that they recommend?<br>
> Was there a paper on CFA that really brought it home for you as a grad<br>
> student?<br>
><br>
> Or, in game form, if you could recommend three additional CFA papers<br>
> for a *beginning* grad student, which ones would they be?<br>
><br>
> -Matt<br>
> _______________________________________________<br>
> HOFA mailing list<br>
> <a href="mailto:HOFA@lambda-calcul.us">HOFA@lambda-calcul.us</a><br>
> <a href="http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us" target="_blank">http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
_______________________________________________<br>
HOFA mailing list<br>
<a href="mailto:HOFA@lambda-calcul.us">HOFA@lambda-calcul.us</a><br>
<a href="http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us" target="_blank">http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us</a><br>
<br>
<br>
End of HOFA Digest, Vol 3, Issue 2<br>
**********************************<br>
<br>
</blockquote></div><br>