[PRL] ICFP paper

[Matthew Might]

I've been encouraged to share my upcoming ICFP paper on Gamma-CFA
with everyone on the list:

 http://matt.might.net/archive/might2006gcfa.pdf

The three-sentence version of the paper is:

1. Instrument a concrete semantics with garbage collection.
2. Perform an abstract interpretation of GC semantics.
3. Watch the abstracted GC improve speed and precision for 
   the flow anlaysis.

There's another technique called "abstract counting" thrown in there,
but abstract GC is the star the show.

Please let me know if you have any questions or comments.

-Matt