Presented by J Strother Moore, Department of Computer Sciences, University of Texas at Austin. Abstract: Computer hardware and software can be modelled precisely in mathematical logic. If expressed appropriately, these models can be executable. This allows them to be used as simulation engines or rapid prototypes. But because they are formal they can be manipulated... Read more »

Have Performance and Eat Abstraction Too: Optimizing Nested Parallel Patterns for Heterogeneous Architectures Presented by Kunle Olukotun, Pervasive Parallelism Lab, Stanford University. Abstract High performance in modern computing platforms requires programs to be parallel, distributed, and to run on heterogeneous hardware. However, programming for this environment is extremely challenging due to the need to use... Read more »