Tue 9 Jan 2018 10:30 - 11:30 at Crocker - Session 2-1 Chair(s): Fritz Henglein

A new class of very large scale parallel and distributed machines are emerging, with more processors, more complex memory hierarchies, and much more heterogeneity than machines of the past. This talk will outline the likely trends in such machines and why it is worth thinking about programming languages that program them as a whole, rather than current standard approaches which use a mix of technologies. Using the Legion programming model as an example, we’ll discuss a number of novel challenges that arise in the design and compilation of languages for such machines and discuss our current understanding of solutions.

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 2-1PEPM at Crocker
Chair(s): Fritz Henglein DIKU, Denmark
Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk)
Alex Aiken Stanford University
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell Royal Holloway, University of London, L. Thomas van Binsbergen Royal Holloway University of London, Blake Loring , Johannes Kinder Royal Holloway, University of London