slides/slides01.tex
changeset 1039 86d59b074abe
parent 1002 4358a7def8cb
equal deleted inserted replaced
1038:34d2cfb7761a 1039:86d59b074abe
     3 \usepackage{../slides}
     3 \usepackage{../slides}
     4 \usepackage{../graphicss}
     4 \usepackage{../graphicss}
     5 \usepackage{../langs}
     5 \usepackage{../langs}
     6 \usepackage{../data}
     6 \usepackage{../data}
     7 \usetikzlibrary{cd}
     7 \usetikzlibrary{cd}
     8 \usepackage{listings-rust}
     8 %\usepackage{listings-rust}
     9 \usepackage{ulem}
     9 \usepackage{ulem}
    10 
    10 
    11 \usepackage{tcolorbox}
    11 \usepackage{tcolorbox}
    12 \newtcolorbox{mybox}{colback=red!5!white,colframe=red!75!black}
    12 \newtcolorbox{mybox}{colback=red!5!white,colframe=red!75!black}
    13 \newtcolorbox{mybox2}[1]{colback=red!5!white,colframe=red!75!black,fonttitle=\bfseries,title=#1}
    13 \newtcolorbox{mybox2}[1]{colback=red!5!white,colframe=red!75!black,fonttitle=\bfseries,title=#1}
   237 
   237 
   238 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   238 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   239 \begin{frame}[t]
   239 \begin{frame}[t]
   240 \frametitle{%  
   240 \frametitle{%  
   241   \begin{tabular}{@ {}c@ {}}
   241   \begin{tabular}{@ {}c@ {}}
   242   \\[-3mm]
   242   \\[-8mm]
   243   \LARGE Compilers and \\[-1mm] 
   243   \LARGE Compilers and \\[-1mm] 
   244   \LARGE Formal Languages\\[-3mm] 
   244   \LARGE Formal Languages\\[-7mm] 
   245   \end{tabular}}
   245   \end{tabular}}
   246 
   246 
   247   
   247   %% contact details card
   248 
       
   249   \normalsize
   248   \normalsize
   250   \begin{center}
   249   \begin{center}
   251   \begin{tabular}{ll}
   250     \begin{tikzpicture}
   252   Email:  & christian.urban at kcl.ac.uk\\
   251       \node[rounded corners=3pt, drop shadow, fill=capri!8,
   253   Office Hour: & Fridays 11:30 -- 12:30\\
   252             draw=capri!55, line width=0.6pt, inner sep=3mm]{%
   254   Location: & N7.07 (North Wing, Bush House)\\
   253         \begin{tabular}{@{}r@{\hskip 3.5mm}l@{}}
   255   Slides \& Progs: & KEATS\\
   254           \textcolor{capri!85!black}{\bfseries Email}          & christian.urban at kcl.ac.uk\\
   256   %Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\  
   255           \textcolor{capri!85!black}{\bfseries Office Hour}    & Fridays 11:30 -- 12:30\\
   257   \end{tabular}
   256           \textcolor{capri!85!black}{\bfseries Location}       & N7.07 (North Wing, Bush House)\\
       
   257           \textcolor{capri!85!black}{\bfseries Slides \& Progs}& KEATS\\
       
   258           %Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}
       
   259         \end{tabular}};
       
   260     \end{tikzpicture}
   258   \end{center}
   261   \end{center}
   259 
   262 
       
   263   %% ten-week roadmap card
   260   \begin{center}
   264   \begin{center}
   261     \begin{tikzpicture}
   265     \begin{tikzpicture}
   262       \node[drop shadow,fill=white,inner sep=0pt] 
   266       \node[drop shadow,fill=white,inner sep=0pt]
   263       {\footnotesize\rowcolors{1}{capri!10}{white}
   267       {\footnotesize\rowcolors{1}{capri!10}{white}
   264         \begin{tabular}{|p{4.8cm}|p{4.8cm}|}\hline
   268         \begin{tabular}{|p{4.7cm}|p{4.7cm}|}\hline
   265           \cellcolor{blue!50}
   269           \cellcolor{capri!75} 1 Introduction, Languages          & 6 While-Language \\
   266           1 Introduction, Languages          & 6 While-Language \\
       
   267           2 Regular Expressions, Derivatives & 7 Compilation, JVM \\
   270           2 Regular Expressions, Derivatives & 7 Compilation, JVM \\
   268           3 Automata, Regular Languages      & 8 Compiling Functional Languages \\
   271           3 Automata, Regular Languages      & 8 Compiling Functional Languages \\
   269           4 Lexing, Tokenising               & 9 Optimisations \\
   272           4 Lexing, Tokenising               & 9 Optimisations \\
   270           5 Grammars, Parsing                & 10 LLVM \\ \hline
   273           5 Grammars, Parsing                & 10 LLVM \\ \hline
   271         \end{tabular}%
   274         \end{tabular}%
   272       };
   275       };
   273     \end{tikzpicture}
   276     \end{tikzpicture}
   274   \end{center}
   277   \end{center}
   275 
   278 
   276 
       
   277   \begin{textblock}{5}(12,3)
       
   278   \includegraphics[scale=0.35]{qr01}\\
       
   279   \small Wifi: IET-Guest
       
   280   \end{textblock} 
       
   281 \end{frame}
   279 \end{frame}
   282 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   280 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   283 
   281 
   284 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   282 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   285 \begin{frame}<1-12>[c]
   283 \begin{frame}<1-12>[c]
   402   \begin{bubble}[11cm]
   400   \begin{bubble}[11cm]
   403     Compiler explorers, e.g.: \url{https://gcc.godbolt.org} \;\video{https://youtu.be/ysaBmhMEyUg}
   401     Compiler explorers, e.g.: \url{https://gcc.godbolt.org} \;\video{https://youtu.be/ysaBmhMEyUg}
   404   \begin{tikzpicture}[]
   402   \begin{tikzpicture}[]
   405   \node (0) at (-2.3,0) {\includegraphics[scale=0.3]{pics/csource.png}};
   403   \node (0) at (-2.3,0) {\includegraphics[scale=0.3]{pics/csource.png}};
   406   \node (1) [right=35mm] at (0) {\includegraphics[scale=0.3]{pics/cassmbl.png}}; 
   404   \node (1) [right=35mm] at (0) {\includegraphics[scale=0.3]{pics/cassmbl.png}}; 
   407   \draw [->,line width=4mm, red] (0) -- (1);   
   405   \draw [->,line width=3mm, red] (0) -- (1);   
   408   \node (2) [below=20mm] at (0) {\LARGE\bf source};
   406   \node (2) [below=20mm] at (0) {\LARGE\bf source};
   409   \node (3) [right=40mm] at (2) {\LARGE\bf binary};
   407   \node (3) [right=40mm] at (2) {\LARGE\bf binary};
   410   \draw [->,line width=1mm] (2) -- (3);   
   408   \draw [->,line width=1mm] (2) -- (3);   
   411 \end{tikzpicture}
   409 \end{tikzpicture}
   412 \end{bubble}
   410 \end{bubble}
   417   \begin{bubble}[11cm]
   415   \begin{bubble}[11cm]
   418     Compiler explorer for Java: \url{https://javap.yawk.at} 
   416     Compiler explorer for Java: \url{https://javap.yawk.at} 
   419   \begin{tikzpicture}[]
   417   \begin{tikzpicture}[]
   420   \node (0) at (-2.3,0) {\includegraphics[scale=0.4]{pics/jsource.png}};
   418   \node (0) at (-2.3,0) {\includegraphics[scale=0.4]{pics/jsource.png}};
   421   \node (1) [right=35mm] at (0) {\includegraphics[scale=0.4]{pics/jassmbl.png}}; 
   419   \node (1) [right=35mm] at (0) {\includegraphics[scale=0.4]{pics/jassmbl.png}}; 
   422   \draw [->,line width=4mm, red] (0) -- (1);   
   420   \draw [->,line width=3mm, red] (0) -- (1);   
   423   \node (2) [below=20mm] at (0) {\LARGE\bf source};
   421   \node (2) [below=20mm] at (0) {\LARGE\bf source};
   424   \node (3) [right=40mm] at (2) {\LARGE\bf byte code};
   422   \node (3) [right=40mm] at (2) {\LARGE\bf byte code};
   425   \draw [->,line width=1mm] (2) -- (3);   
   423   \draw [->,line width=1mm] (2) -- (3);   
   426 \end{tikzpicture}
   424 \end{tikzpicture}
   427 \end{bubble}
   425 \end{bubble}
   441 \here{https://blog.regehr.org/archives/1419}
   439 \here{https://blog.regehr.org/archives/1419}
   442 \smallskip\\
   440 \smallskip\\
   443 
   441 
   444 \begin{bubble}[10.5cm]
   442 \begin{bubble}[10.5cm]
   445   \bf ``\ldots{}It’s effectively a perpetual
   443   \bf ``\ldots{}It’s effectively a perpetual
   446   employment act for solid compiler hackers.''
   444   employment act for solid compiler hackers.'' (2016)
   447 \end{bubble}
   445 \end{bubble}
   448 
   446 
   449 \onslide<1->{
   447 \onslide<1->{
   450 \only<2>{
   448 \only<2>{
   451 \begin{itemize}
   449 \begin{itemize}