deletions | additions       diff --git a/eval-new-approach.tex b/eval-new-approach.tex  index 2fa1f23..469d78b 100644  --- a/eval-new-approach.tex  +++ b/eval-new-approach.tex 
...
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  \paragraph{Discussion.}  The approach ideas  presented in this section combines combine  the flexibility of OSR-based specialization with the efficiency of the JIT-based method. Similarly to OSR-based specialization, we do not place restrictions on the functions that can be optimized. On the other hand, we works at IIR (rather than IR) level as in JIT-based specialization, which makes it possible to perform type inference on the specialized code. Working at IIR level eliminates the two main sources of inefficiency of OSR-based specialization: 1) we can replace generic istructions with specialized instructions, and 2) the types of $g$'s arguments do not need to be cached or guarded as they are statically inferred. These observations are confirmed in practice by experiments on real MATLAB programs, as we will show in \mysection\ref{ss:experim-results}.