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

Leif Andersen leif at leifandersen.net
Fri Jan 29 15:15:57 EST 2016


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



More information about the Pl-sem-jr mailing list