diff --git a/.gitignore b/.gitignore index 7809bf7..7f46612 100644 --- a/.gitignore +++ b/.gitignore @@ -136,3 +136,4 @@ sympy-plots-for-*.tex/ *.bak *.sav +*.pdf diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..98b3eaa --- /dev/null +++ b/Makefile @@ -0,0 +1,6 @@ +TEX=slides.tex +all: $(TEX) + pdflatex $(TEX) + pdflatex $(TEX) + + diff --git a/math.sty b/math.sty new file mode 100644 index 0000000..8ec1567 --- /dev/null +++ b/math.sty @@ -0,0 +1,71 @@ +\usepackage{stmaryrd} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{amsthm} +\usepackage{mathtools} +\usepackage{fancybox} + +% Intervalle discret. +\newcommand{\discrIv}[1]{\llbracket #1 \rrbracket} + +% ensembliste +\newcommand{\set}[1]{\left\{ #1 \right\}} +\newcommand{\card}[1]{\left\vert{} #1 \right\vert} +\newcommand{\abs}[1]{\left\vert{} #1 \right\vert} +\newcommand{\interior}[1]{\left({#1}\right)^\circ} +\newcommand{\floor}[1]{\left\lfloor{} #1 \right\rfloor} +\newcommand{\ceil}[1]{\left\lceil{} #1 \right\rceil} + +% Abréviations courrantes +\newcommand{\ie}{\textit{ie.}} +\newcommand{\eg}{\textit{eg.}} + +% Matrices +\newcommand{\transp}{\top} + +% Notations à polices étranges +\newcommand{\domain}{\mathcal{D}} +\newcommand{\bigO}{\mathcal{O}} +\newcommand{\calA}{\mathcal{A}} +\newcommand{\calC}{\mathcal{C}} +\newcommand{\calG}{\mathcal{G}} +\newcommand{\calV}{\mathcal{V}} +\newcommand{\calT}{\mathcal{T}} +\newcommand{\calP}{\mathcal{P}} +\newcommand{\risk}{\mathcal{R}} +\newcommand{\vect}[1]{\overrightarrow{#1}} + +% Ensembles +\newcommand{\realset}{\mathbb{R}} +\newcommand{\natset}{\mathbb{N}} +\newcommand{\relset}{\mathbb{Z}} +\newcommand{\funcspace}{\mathcal{F}} + +% Probas +\newcommand{\prob}{\mathbb{P}} +\newcommand{\probP}[1]{\mathbb{P}\left(#1\right)} +\newcommand{\expec}{\mathbb{E}} +\newcommand{\expecP}[1]{\mathbb{E}\left[#1\right]} +\newcommand{\variance}{\mathbb{V}} +\newcommand{\ber}{\mathcal{B}er} +\newcommand{\bin}{\mathcal{B}in} +\newcommand{\poi}{\mathcal{P}oi} + +% Suppression des points +\newcommand{\ibar}{\overline{\imath}} +\newcommand{\jbar}{\overline{\jmath}} + +% Fonctions +%\newcommand{\functiondef}[4]{\left\lbrace \begin{tabular}{r l} #1 & \rightarrow #2 \\ #3 & \mapsto #4\end{tabular} \right.} +\newcommand{\functiondef}[4]{\begin{cases} +#1 & \to #2 \\ +#3 & \mapsto #4 +\end{cases}} + +\newcommand{\argmin}{\operatorname{argmin}} + + +% Preuve par équivalence - puces +\newcommand{\impliesbullet}{\ovalbox{$\implies$}} +\newcommand{\impliedbybullet}{\ovalbox{$\impliedby$}} diff --git a/my_hyperref.sty b/my_hyperref.sty new file mode 100644 index 0000000..21c5f45 --- /dev/null +++ b/my_hyperref.sty @@ -0,0 +1,25 @@ +\usepackage{hyperref} +\usepackage{xcolor} + +\definecolor{link_blue}{RGB}{0,0,97} + +\hypersetup{ +% bookmarks=true, % show bookmarks bar? +% unicode=false, % non-Latin characters in Acrobat’s bookmarks +% pdftoolbar=true, % show Acrobat’s toolbar? +% pdfmenubar=true, % show Acrobat’s menu? +% pdffitwindow=false, % window fit to page when opened +% pdfstartview={FitH}, % fits the width of the page to the window +% pdftitle={My title}, % title +% pdfauthor={Author}, % author +% pdfsubject={Subject}, % subject of the document +% pdfcreator={Creator}, % creator of the document +% pdfproducer={Producer}, % producer of the document +% pdfkeywords={keyword1} {key2} {key3}, % list of keywords +% pdfnewwindow=true, % links in new PDF window + colorlinks=true, % false: boxed links; true: colored links + linkcolor=link_blue, % color of internal links (change box color with linkbordercolor) + citecolor=green, % color of links to bibliography + filecolor=magenta, % color of file links + urlcolor=link_blue % color of external links +} diff --git a/my_listings.sty b/my_listings.sty new file mode 100644 index 0000000..f720a6d --- /dev/null +++ b/my_listings.sty @@ -0,0 +1,63 @@ +\usepackage{listings} +\usepackage{algorithmicx} +\usepackage{algpseudocode} +\usepackage{color} +\usepackage{xcolor} +\usepackage{courier} +\definecolor{color_comment}{HTML}{2D6F19} +\definecolor{color_linenum}{HTML}{9E9E9E} +\definecolor{color_strings}{HTML}{D300F3} + + +\lstset{ % +% backgroundcolor=\color{white}, % choose the background color; you must add \usepackage{color} or \usepackage{xcolor} + basicstyle=\footnotesize\ttfamily, % the size of the fonts that are used for the code + breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace + breaklines=true, % sets automatic line breaking + captionpos=b, % sets the caption-position to bottom + commentstyle=\color{color_comment}, % comment style +% deletekeywords={...}, % if you want to delete keywords from the given language +% escapeinside={\%*}{*)}, % if you want to add LaTeX within your code + extendedchars=true, % lets you use non-ASCII characters; for 8-bits encodings only, does not work with UTF-8 + frame=none, % adds a frame around the code + keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible) + keywordstyle=\color{blue}, % keyword style + morekeywords={*,...}, % if you want to add more keywords to the set + numbers=left, % where to put the line-numbers; possible values are (none, left, right) + numbersep=5pt, % how far the line-numbers are from the code + numberstyle=\tiny\color{color_linenum}, % the style that is used for the line-numbers + rulecolor=\color{black}, % if not set, the frame-color may be changed on line-breaks within not-black text (e.g. comments (green here)) + showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces' + showstringspaces=false, % underline spaces within strings only + showtabs=false, % show tabs within strings adding particular underscores + stepnumber=1, % the step between two line-numbers. If it's 1, each line will be numbered + stringstyle=\color{color_strings}, % string literal style + tabsize=4, % sets default tabsize to 2 spaces +% title=\lstname, % show the filename of files included with \lstinputlisting; also try caption instead of title +% inputencoding=utf8/latin1 % To accept utf8 encoding +} + +\lstset{literate= + {á}{{\'a}}1 {é}{{\'e}}1 {í}{{\'i}}1 {ó}{{\'o}}1 {ú}{{\'u}}1 + {Á}{{\'A}}1 {É}{{\'E}}1 {Í}{{\'I}}1 {Ó}{{\'O}}1 {Ú}{{\'U}}1 + {à}{{\`a}}1 {è}{{\`e}}1 {ì}{{\`i}}1 {ò}{{\`o}}1 {ù}{{\`u}}1 + {À}{{\`A}}1 {È}{{\'E}}1 {Ì}{{\`I}}1 {Ò}{{\`O}}1 {Ù}{{\`U}}1 + {ä}{{\"a}}1 {ë}{{\"e}}1 {ï}{{\"i}}1 {ö}{{\"o}}1 {ü}{{\"u}}1 + {Ä}{{\"A}}1 {Ë}{{\"E}}1 {Ï}{{\"I}}1 {Ö}{{\"O}}1 {Ü}{{\"U}}1 + {â}{{\^a}}1 {ê}{{\^e}}1 {î}{{\^i}}1 {ô}{{\^o}}1 {û}{{\^u}}1 + {Â}{{\^A}}1 {Ê}{{\^E}}1 {Î}{{\^I}}1 {Ô}{{\^O}}1 {Û}{{\^U}}1 + {œ}{{\oe}}1 {Œ}{{\OE}}1 {æ}{{\ae}}1 {Æ}{{\AE}}1 {ß}{{\ss}}1 + {ű}{{\H{u}}}1 {Ű}{{\H{U}}}1 {ő}{{\H{o}}}1 {Ő}{{\H{O}}}1 + {ç}{{\c c}}1 {Ç}{{\c C}}1 {ø}{{\o}}1 {å}{{\r a}}1 {Å}{{\r A}}1 + {€}{{\EUR}}1 {£}{{\pounds}}1 {¬}{{$\lnot$}}1 {∞}{{$\infty$}}1 +} + +\newcommand{\true}{\lstinline$true$} +\newcommand{\false}{\lstinline$false$} + +\newcommand{\lstbash}[1]{\lstinline[language=bash]$#1$} +\newcommand{\lstocaml}[1]{\lstinline[language=Caml]$#1$} +\newcommand{\lstcpp}[1]{\lstinline[language=C++]$#1$} +\newcommand{\lstc}[1]{\lstinline[language=C]$#1$} +\newcommand{\lstpython}[1]{\lstinline[language=python]$#1$} + diff --git a/slides.tex b/slides.tex new file mode 100644 index 0000000..95ef03d --- /dev/null +++ b/slides.tex @@ -0,0 +1,41 @@ +% vim: spell spelllang=en + +\documentclass[11pt]{beamer} +\usetheme{Warsaw} +\usepackage[utf8]{inputenc} +\usepackage[english]{babel} +\usepackage[T1]{fontenc} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{graphicx} +\usepackage{my_listings} +\usepackage{my_hyperref} +\usepackage{math} +\setbeamertemplate{navigation symbols}{} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\author{Théophile \textsc{Bastian}} +\title[Tracing Compilation by Abstract Interpretation] + {Tracing Compilation by Abstract Interpretation \\ + {\small{}S. Dissegna, F. Logozzo, F. Ranzato}} +\date{March 7, 2018} +%\logo{} +%\institute{} +\begin{document} + +\begin{frame} + \titlepage{} + + Slides: \url{https://tiny.tobast.fr/m2-absint-slides} \\ + Article: \url{https://tiny.tobast.fr/m2-absint-article} + + \tableofcontents +\end{frame} + +%\begin{frame} +%\tableofcontents +%\end{frame} + +\end{document} +