about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@gmail.com>2018-03-12T00·53+0100
committerVincent Ambo <tazjin@gmail.com>2018-03-12T00·53+0100
commit82dd6c778ca88047a6f591d8046b30817750b91f (patch)
treec5718159df7a7828f37e82492a77186a9191690f
parent6f4278537ea8380b21dd094dd537fa2d39c674b4 (diff)
feat(slides): Add slides about DDC
-rw-r--r--presentation.tex32
1 files changed, 32 insertions, 0 deletions
diff --git a/presentation.tex b/presentation.tex
index 579850f77b05..09000a5256db 100644
--- a/presentation.tex
+++ b/presentation.tex
@@ -68,4 +68,36 @@
       Let your imagination run wild!
     \end{center}
   \end{frame}
+
+  %% Slide 8:
+  \section{Countermeasures}
+
+  %% Slide 9:
+  \begin{frame}{Diverse Double-Compiling}
+    Assume we have:
+
+    \begin{itemize}
+    \item Target language compilers $A$ and $T$
+    \item The source code of $A$: $ S_{A} $
+    \end{itemize}
+  \end{frame}
+
+  %% Slide 10:
+  \begin{frame}{Diverse Double-Compiling}
+    Apply the first stage (functional equivalence):
+
+    \begin{itemize}
+    \item $ X = A(S_{A})$
+    \item $ Y = T(S_{A})$
+    \end{itemize}
+
+    Apply the second stage (bit-for-bit equivalence):
+
+    \begin{itemize}
+    \item $ V = X(S_{A})$
+    \item $ W = Y(S_{A})$
+    \end{itemize}
+
+    Now we have a new problem: Reproducibility!
+  \end{frame}
 \end{document}