Add additional slide on future work.

diff --git a/presentation.tex b/presentation.tex
index a1beb4cf46c70b5931619034f6122bcb1b46337b..0c4e2493dff91a85f8e184d90920940de0f60423 100644 (file)
--- a/presentation.tex
+++ b/presentation.tex
@@ -240,17 +240,40 @@ according to the indexing constraints and granularity requirements.
 
 \begin{itemize}
 
-\item We need well-defined semantics for every operation we might use in the
-DSL. In particular, we need a type system for the expressions that can be
-produced that incorporates properties such as function space.
+\item {\bf Well-defined semantics.} We need well-defined semantics for every
+operation we might use in the DSL. In particular, we need a type system for the
+expressions that can be produced that incorporates properties such as function
+space.
 
-\item The "side-channel" information of each operand needs to be well-defined.
-For example, whether subsets of some larger space possess knowledge of how they
-map to the underlying space.
+\item {\bf Operand meta-data.} The "side-channel" information of each operand
+needs to be well-defined.  For example, whether subsets of some larger space
+possess knowledge of how they map to the underlying space.
 
-\item We need a description of what types of indexing operations we need to be
-able to perform. Do we want to support direct manipulation of spatial indices,
-support reduction operations etc.
+\item {\bf DSL Scope.} We need a description of what types of indexing
+operations we need to be able to perform. Do we want to support direct
+manipulation of spatial indices, support reduction operations etc.
+
+\end{itemize}
+
+}
+
+\frame{
+
+\frametitle{The Future}
+
+\begin{itemize}
+
+\item{\bf A mechanism for systematically exploring different code generation
+variants.} If we can generate a search space of valid implementations, we
+can work on defining an objective function that lets us choose the best
+one.
+
+\item{\bf A system for automatically reasoning about and inferring required
+control flow.} Many operations such as spatial restrictions can be abstracted as
+the application of predicates and linear transformations of index values. A
+Prolog-like system for the manipulation of predicates and index expressions
+would enable strategies for generation of minimial and correct control flow, and
+possible generation of invariants.
 
 \end{itemize}