[PL-sem-jr] Topic for 2 weeks from now
Benjamin Greenman
types at ccs.neu.edu
Wed Jan 27 14:59:24 EST 2016
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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sw-flow.pdf
Type: application/pdf
Size: 1325966 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20160127/35b2c58b/attachment-0001.pdf>
More information about the Pl-sem-jr
mailing list