From 2188c29b511d1f5d88007dd45518760339cf1581 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Sun, 1 Dec 2024 21:21:48 +0100
Subject: [PATCH] Conclusive slide

---
 slides/main.tex | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/slides/main.tex b/slides/main.tex
index 2c17d15..3835ad5 100644
--- a/slides/main.tex
+++ b/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}