diff --git a/presentation/presentation.tex b/presentation/presentation.tex index cc3d758e571872d3141b4dad62d7a79ffab590d8..0ef2f0cff80004cbabc0f42d356061bb763e0703 100644 --- a/presentation/presentation.tex +++ b/presentation/presentation.tex @@ -7,20 +7,19 @@ \usepackage{polyglossia} \setmainlanguage{german} -\usepackage{csquotes} \usepackage{amsmath} -\usepackage{ amssymb } +\usepackage{amssymb} \usepackage{mathtools} - \usepackage{hyperref} \usepackage{bookmark} - -\usepackage{ galois } -\usepackage{ tipa } -\usepackage{ stmaryrd } +\usepackage{galois} +\usepackage{tipa} +\usepackage{stmaryrd} \usepackage{minted} +\usepackage{csquotes} + % load the theme after all packages @@ -39,17 +38,22 @@ \title{How can dynamic analysis features be used to improve static abstract interpretation?} \author[M. Weiler]{Marvin Weiler} +\date{16. August 2022} %\institute[short]{Not needed?} %\titlegraphic{\includegraphics[width=0.7\textwidth]{images/tudo-title-2.jpg}} \begin{document} -\maketitle +%\maketitle \begin{frame} - \tableofcontents +\titlepage % Print the title page as the first slide \end{frame} +\begin{frame}{Overview} +\tableofcontents +\end{frame} +\section{Why do we need more than abstract interpretation?} \begin{frame}{Why do we need more than abstract interpretation?} \pause @@ -77,6 +81,7 @@ \end{frame} +\section{Combination of abstract and dynamic analysis} \begin{frame}{Combination of abstract and dynamic analysis} \pause @@ -133,6 +138,7 @@ \end{columns} \end{frame} +\section{Opaque code analysis} \begin{frame}{Opaque code analysis} \pause @@ -184,6 +190,7 @@ \end{frame} +\section{Determinancy facts} \begin{frame}[fragile]{Determinancy facts} \begin{columns}[T] % align columns @@ -238,6 +245,7 @@ Abstract Interpretation can replace the \textit{eval} with concrete code for ana \end{frame} +\section{Conclusion} \begin{frame}{Conclusion} \begin{block}{Abstract Interpretation \underline{can} be combined with dynamic analysis.}