phd-defense/slides/main.tex

74 lines
2.1 KiB
TeX

% 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}
\selectlanguage{french}
\importchapter{10_popularization}
\selectlanguage{english}
\importchapter{20_foundations}
%\importchapter{30_frontend}
\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]
\Large{}Questions?
\end{frame}
\appendix
\importchapter{80_frontend}
\end{document}