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

[Sam Caldwell]

I like all of these suggestions. Does anyone know any more "foundational"
papers on static analysis we might look at?

Also, there's MrSpidey:
https://users.soe.ucsc.edu/~cormac/papers/pldi96.pdf

On Wed, Jan 27, 2016 at 4:58 PM, Vincent St-Amour <
stamourv at eecs.northwestern.edu> wrote:

> FWIW, I remember enjoying Serrano's "A Fresh Look to Inlining Decision",
> which is what the Racket compiler implements.
>
> Vincent
>
>
>
> On Wed, 27 Jan 2016 13:59:24 -0600,
> Benjamin Greenman wrote:
> >
> > Inlining strategies!
> > Manuel Serrano has a few papers on this:
> > http://www-sop.inria.fr/members/Manuel.Serrano/index-1.html#Compilation
> >
> > Also, Suresh Jagannathan & Andrew Wright have a famous paper on
> > type-directed inlining:
> > (attached)
> >
> > On Wed, Jan 27, 2016 at 1:47 PM, Sam Caldwell <samc at ccs.neu.edu> wrote:
> >
> >     There's some sentiment that we should stick with static analysis.
> >
> >     One option is kCFA from Olin's dissertation. Brian introduced this
> >     last semester but I think it would be worthwhile to go look at it
> >     again in more depth.
> >
> >     Any other suggestions?
> >
> >     - Sam
> >
> >     _______________________________________________
> >     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