deletions | additions       diff --git a/experim.tex b/experim.tex  index ad82257..73cdf80 100644  --- a/experim.tex  +++ b/experim.tex 
...
%TinyVM is thus an ideal playground to exercise our OSR technique, and we use it to run performance measurements on the shootout test suite, also known as the Computer Language Benchmark Game~\cite{shootout}.   The list of benchmarks and their description is reported in \mytable\ref{tab:shootout}; four of them - namely {\tt b-trees}, {\tt mbrot}, {\tt n-body} and {\tt sp-norm} - are evaluated against two workloads of different size.  We then discuss experimental results for the case study presented in Section\mysection\ref{se:case-study}  \begin{table}   \begin{center}  \begin{small}