From f1518f1149d6caaf97c3e6501c887ccf5bef2b84 Mon Sep 17 00:00:00 2001
From: togir <marvin@weiler.rocks>
Date: Fri, 19 Aug 2022 14:12:56 +0000
Subject: [PATCH] Presentaion, submited state
---
presentation/presentation.tex | 26 +++++++++++++++++---------
1 file changed, 17 insertions(+), 9 deletions(-)
diff --git a/presentation/presentation.tex b/presentation/presentation.tex
index cc3d758..0ef2f0c 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.}
--
GitLab