Split Compilation - synergy between static and dynamic analysis and compilation

Affiliated to

Location

Timing

Description

Static compilation faces well-known limitations, such as lack of input data characteristics (resolved by profile-directed feedback with only partial satisfactory), lack of whole program scope (resolved by link-time optimization again with only partial satisfactory) and lack of detailed information about the executing environment. Dynamic compilation (aka JIT) on the other hand face other well-known limitations, most notably resource restrictions concerning monitoring and compile-time. Our goal is to bring both tools to recognize and assist each other, leveraging the advantages of each.