contification paper outline
Stephen Weeks
MLton@sourcelight.com
Fri, 16 Feb 2001 13:12:52 -0800 (PST)
Following up on my previous email, here is a propsed outline of the paper.
intro
MLton and CPS IL
mention appel - SSA is functional programming
grammar
type system
contification
motivation
mention kelsey, patent
optimizations
framework
A in Analysis = ...
A is cyclic if ...
A is safe if ...
A is minimal if ...
transformation
analyses
trivial -- A(f) = Unknown
almost as trivial -- A(f) = Unknown if Reach(f), else A(f) = Uncalled
call
cont
cite reppy
mention differences due to all known calls
both
dom
proof of minimality
benchmarks
compare none, call, cont, both, dom.
static counts of contified funs
running times
compile times
total compile time
% total compile time spent in contification
code sizes, or just say no significant difference
extensions
A*/parent