deletions | additions       diff --git a/eval-new-approach.tex b/eval-new-approach.tex  index 8053c5c..f4df140 100644  --- a/eval-new-approach.tex  +++ b/eval-new-approach.tex 
...
\paragraph{Discussion.}  The ideas presented in this section advance the state of the art of \feval\ optimization in MATLAB runtimes.  %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 work at IIR (rather than IR) level as in JIT-based specialization, which allows us to perform type inference on the specialized code. code with direct calls.  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 benchmarks from the MATLAB community, as we will show in \mysection\ref{ss:experim-results}.