[PL-sem-jr] Topic for 2 weeks from now

[Benjamin Greenman]

I'd be happy with that. Can you present in 2 weeks?

On Fri, Jan 29, 2016 at 3:08 PM, Leif Andersen <leif at leifandersen.net>
wrote:

> I kind of want to talk about inlining, if that works for everyone.
>
> ~Leif Andersen
>
>
> On Fri, Jan 29, 2016 at 3:03 PM, Stephen Chang <stchang at ccs.neu.edu>
> wrote:
> > re: inlining
> > See also "Secrets of the GHC's Inliner"
> > research.microsoft.com/en-us/um/.../inline-jfp.ps.gz
> >
> > re:static analysis
> > See Midgaardt's survey, "Control-flow Analysis of Functional Programs"
> > http://janmidtgaard.dk/Midtgaard%3aCSur12.html
> >
> > On Fri, Jan 29, 2016 at 2:58 PM, Sam Caldwell <samc at ccs.neu.edu> wrote:
> >> OK, so inlining?
> >>
> >> On Thu, Jan 28, 2016 at 8:36 AM, Jonathan Schuster <
> schuster at ccs.neu.edu>
> >> wrote:
> >>>
> >>> On Wed, Jan 27, 2016 at 10:44 PM, Sam Caldwell <samc at ccs.neu.edu>
> wrote:
> >>>>
> >>>> I like all of these suggestions. Does anyone know any more
> "foundational"
> >>>> papers on static analysis we might look at?
> >>>>
> >>>
> >>> Nielson, Nielson, and Hankin's "Principles of Program Analysis" book
> might
> >>> have pointers to some foundational things - there's probably a copy
> floating
> >>> around the lab. The field is so wide, though, that I don't think
> you'll find
> >>> a paper that is *the* foundation for static analysis. Cousot and
> Cousot's
> >>> 1977 abstract interpretation paper (from the 10PL list) is probably the
> >>> closest, but that's just for one particular approach.
> >>
> >>
> >>
> >> _______________________________________________
> >> Pl-sem-jr mailing list
> >> Pl-sem-jr at lists.ccs.neu.edu
> >> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
> >>
> >
> > _______________________________________________
> > Pl-sem-jr mailing list
> > Pl-sem-jr at lists.ccs.neu.edu
> > https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed