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

[Sam Caldwell]

Is there a particular subset of inlining you want to focus on, Leif?
Trying to decide what I should read.

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

> Works for me.
>
> ~Leif Andersen
>
>
> On Fri, Jan 29, 2016 at 3:15 PM, Benjamin Greenman <types at ccs.neu.edu>
> wrote:
> > 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
> >
> >
>
> _______________________________________________
> 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