From 8667b3bc278b99a59ea98330a487c922a4640bf5 Mon Sep 17 00:00:00 2001 From: Francis Russell Date: Thu, 12 Apr 2012 18:42:39 +0100 Subject: [PATCH] Add additional slide on future work. --- presentation.tex | 41 ++++++++++++++++++++++++++++++++--------- 1 file changed, 32 insertions(+), 9 deletions(-) diff --git a/presentation.tex b/presentation.tex index a1beb4c..0c4e249 100644 --- 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} -- 2.47.3