% vim: spell spelllang=en \documentclass[11pt,xcolor={dvipsnames},aspectratio=169]{beamer} \usetheme{metropolis} \input{include/packages.tex} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \title{Performance study:\\ \hfill{}identifying bottlenecks by means of sensitivity analysis} \subtitle{PhD defense\\ {\small{Prepared under the supervision of Fabrice \textsc{Rastello} --- CORSE team}}} \author[\slidecountline]{Théophile \textsc{Bastian}} \date{9\up{th} December 2024} %\subject{} %\logo{} \institute{ \vspace{1em} \includegraphics[height=0.8cm]{assets/logo/uga.svg}\hfill \includegraphics[height=0.8cm]{assets/logo/lig.svg}\hfill \includegraphics[height=0.8cm]{assets/logo/inria.svg} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{document} \selectlanguage{english} \maketitle{} % This is actually quite useless %\begin{frame} % \setbeamertemplate{section in toc}[sections numbered] % \tableofcontents[hideallsubsections] %\end{frame} \importchapter{10_popularization} \importchapter{20_foundations} \importchapter{40_cesasme} \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,label=lastslide] \Large{}Questions? \end{frame} \appendix % Not an \importchapter on purpose -- we need access to figures from every chapter \include{85_supplementary/main.tex} \importchapter{80_frontend} \end{document}