slides/40_cesasme/main.tex

@@ -17,57 +17,22 @@ loop:
     \end{minipage}\hfill\vrule\hfill
     \begin{minipage}{0.38\textwidth}
         \begin{tabular}{l r}
-            \llvmmca{}: & 1.5 cycles/iter \\
+            \llvmmca{}: & 1.5 cycles \\
-            \iaca{}: & 2.0 cycles/iter \\
+            \iaca{}: & 2.0 cycles \\
-            \ithemal{}: & 2.0 cycles/iter \\
+            \ithemal{}: & 2.0 cycles \\
-            \uica{}: & 3.0 cycles/iter \\
+            \uica{}: & 3.0 cycles \\
         \end{tabular}
-        \vspace{1em}
-        \begin{center}
-            \only<1>{\alert{\textbf{Which tool is correct?}}}
-            \only<2->{\textbf{Which tool is correct?}}
-        \end{center}
     \end{minipage}
 
     \vfill{}
 
-    \pause{}
     \begin{center}
-        \textbf{We lack:}\\
+        \textbf{Which prediction is correct?} \quad
-        \hfill\textbf{\alert{Benchmarks}}\hfill\textbf{\alert{Context}}\hfill~
+        \alert{\textbf{We lack a sound baseline!}}
     \end{center}
 \end{frame}
 
-\begin{frame}{Generating benchmarks}
+\begin{frame}{Lifting predictions}
-    We need benchmarks\ldots \\
-    \vspace{1em}
-    {\def\arraystretch{1.2}
-        \newcommand{\litem}{\usebeamertemplate*{itemize item}\hspace{-0.5em}}
-    \begin{tabular}{rl l}
-        \litem{} & representative of scientific computation &
-            \visible<2->{\alert{Polybench}}\\
-        \litem{} & infinite, L1-resident loops &
-            \visible<3->{\alert{``microkernelification''} + verify}
-            \\
-        \litem{} & without control flow &
-            \visible<4->{\alert{Polybench}} \\
-        \litem{} & stressing diverse resources &
-            \visible<5->{\alert{Polyhedral transformations}}
-            \\
-         & & \visible<5->{+ \alert{unrolling} + \alert{compiler
-                 options}} \\
-        \litem{} & plenty of them &
-            \visible<6->{\alert{Even more} of all those $\nnearrow$} \\
-    \end{tabular}
-    \let\litem\undefined
-    }
-
-    \begin{center}
-        \visible<6->{\textbf{\leadsto{} yields \alert{~3500} benchmarks}}
-    \end{center}
-\end{frame}
-
-\begin{frame}{In-context baseline: lifting predictions}
     \begin{center}
         \textbf{Consider instead $\kerK$ = \alert{full kernel}, with its
         context\\
@@ -93,10 +58,37 @@ loop:
             \end{itemize}
     \end{itemize}
 
-    \vfill
     \pause
     \begin{center}
-        \textbf{Now we have a baseline.}
+        \textbf{Now we have a baseline.}\\
+        \textit{\color[HTML]{6e7581}(And \llvmmca{} was correct.)}
+    \end{center}
+\end{frame}
+
+\begin{frame}{Generating benchmarks}
+    We need benchmarks\ldots \\
+    \vspace{1em}
+    {\def\arraystretch{1.2}
+        \newcommand{\litem}{\usebeamertemplate*{itemize item}\hspace{-0.5em}}
+    \begin{tabular}{rl l}
+        \litem{} & representative of scientific computation &
+            \visible<2->{\alert{Polybench}}\\
+        \litem{} & infinite, L1-resident loops &
+            \visible<3->{\alert{``microkernelification''} + verify}
+            \\
+        \litem{} & stressing diverse resources &
+            \visible<4->{\alert{Polyhedral transformations}}
+            \\
+         & & \visible<4->{+ \alert{unrolling} + \alert{compiler
+                 options}} \\
+        \litem{} & plenty of them &
+            \visible<5->{\alert{Even more} of all those $\nnearrow$} \\
+    \end{tabular}
+    \let\litem\undefined
+    }
+
+    \begin{center}
+        \visible<6->{\textbf{\leadsto{} yields \alert{~3500} benchmarks}}
     \end{center}
 \end{frame}
 

slides/60_a72combined/main.tex

@@ -1,4 +1,4 @@
-\section[Wrapping up:\\the \acombined{} model]{Wrapping up: the \acombined{} model}
+\section{Conclusion: the \acombined{} model to wrap it all up}
 
 \begin{frame}
     \begin{minipage}[c]{0.68\textwidth}