Hasnain says:

"In this paper, we propose to turn JIT compilation into a precision tool by adding two essential and generic metaprogramming facilities: First, allow programs to invoke JIT compilation explicitly. This enables controlled specialization of arbitrary code at run- time, in the style of partial evaluation. It also enables the JIT compiler to report warnings and errors to the program when it is un- able to compile a code path in the demanded way. Second, allow the JIT compiler to call back into the program to perform compile- time computation. This lets the program itself define the translation strategy for certain constructs on the fly and gives rise to a powerful JIT macro facility that enables “smart” libraries to supply domain- specific compiler optimizations or safety checks."

Posted on 2014-03-31T18:38:28+0000