Conclusive slide

slides/main.tex

@@ -43,6 +43,27 @@ CORSE team}}}
 \importchapter{50_staticdeps}
 \importchapter{60_a72combined}
 
+\begin{frame}{Conclusion}
+    \begin{itemize}
+        \item \alert{\cesasme{}}: a framework to faithfully compare code analyzers;
+            \begin{itemize}
+                \item used to compare SotA analyzers
+                \item reveals dependencies through memory as clear weakness
+            \end{itemize}
+        \item \alert{\staticdeps{}}: a static analyzer to extract dependencies,
+            incl.\@ through memory
+        \item A manual \alert{frontend model} for the Cortex A72 ARM processor
+            \begin{itemize}
+                \item parametric model for future works on the frontend
+                \item partially automated
+            \end{itemize}
+            \medskip
+
+        \item A loosely \alert{combined model} including those,
+            \alert{outperforming} (manual) \alert{SotA}.
+    \end{itemize}
+\end{frame}
+
 \begin{frame}[standout]
     \Large{}Questions?
 \end{frame}