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}