Agenda

This is the preliminary meeting agenda and is subject to change. Please check back regularly for updates and changes. You may also download the agenda in PDF format. Abstracts linked below are also in PDF format. Adobe Reader is necessary to view PDF files. If you don't have the latest version of Reader, you can download a free copy at the Adobe download site.

Monday, August 8, 2011, CSRI/90
12:00 - 12:40 pm	Working Lunch, CSRI/95
12:40 - 12:50 pm	Welcome William Harrod: Outcome of Arch I Workshop and Why Arch II
12:50 - 1:00 pm	Arch II, Machine Abstractions, Inertia and Parallel Efforts Lenore Mullin: Welcome and Workshop Organization
1:00 - 2:00 pm	Session I Panel: Exascale Computing and Beyond: Rethinking, Reasoning, Scaling, Configuring, Optimizing Richard Lethin, Marc Snir, Dan Campbell, Tom Sterling, Steve Scott, Lenore Mullin (Moderator)
2:00 - 2:20 pm	Break, CSRI/95
2:20 - 5:00 pm	Session II The PCA (Polymorphic Computing Architectures) Project and its Relationship to Exascale Pedro Diniz (Moderator)
2:20 - 3:00 pm	Dan Campbell The PCA Abstract Machine Model (56 KB)
3:00 - 3:40 pm	Richard Lethin Machine Abstractions: Challenges for Future Execution Models (39 KB)
3:40 - 4:00 pm	Break, CSRI/95
4:00 - 4:40 pm	Ron Sass and Matthew French Redsharc: An SVM-Based Abstract Machine (56 KB)
4:40 - 5:20 pm	Lenore Mullin PCA, Abstract Machines: A Uniform Way of Reasoning about Array-based computation: Algebraically Connecting the Hardware-Software Boundary
5:20 - 5:30 pm	Wrap-Up Day One and Announcements
Evening	Dinner on your Own

Tuesday, August 9, 2011, CSRI/90
8:00 - 8:55 am	Breakfast, CSRI/95
8:55 - 9:00 am	Welcome and Announcements
9:00 - 11:00 am	Session III Mapping Software to Exascale: the Software-Hardware Boundary Dan Campbell (Moderator)
9:00 - 9:40 am	Sarita Adve DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism (9 KB)
9:40 - 10:20 am	Srini Devadas Memory Coherence in the Exascale Age (8 KB)
10:20 - 11:00 am	Pedro Diniz Data Structure Access Modes: Orchestrating Data Movement in Exascale Software Applications (19 KB)
11:00 - 11:20 am	Break, CSRI/95
11:20 - 12:40 pm	Session IV Mapping Software to Exascale: the Software-Hardware Boundary (continued) Ron Sass (Moderator)
11:20 - 12:00 pm	Jean-Luc Gaudiot Languages, Compilation and Models of Computation for High Performance Parallel Systems (56 KB)
12:00 - 12:40 pm	John Mellor-Crummey Toward a Software Eco-system for Exascale Systems
12:40 - 1:20 pm	Working Lunch CSRI/95
1:20 - 3:20 pm	Session V New Formalizations for Exascale: Abstract Machines, Emulators, Simulators, etc. Tom Sterling (Moderator)
1:20 - 2:00 pm	Keshav Pingali Multi-resolution simulation with FAST (45 KB)
2:00 - 2:40 pm	Arun Rodrigues The Four Noble Truths of Exascale HPC (35 KB)
2:30 - 3:20 pm	John Shalf Growing mismatch between Hardware and underlying Abstract Machine Model (46 KB)
3:20 - 3:40 pm	Break, CSRI/95
3:40 - 5:00 pm	Session VI Verification and Computational Reproducibility for Exascale Andrew Lumsdaine (Moderator)
3:40 - 4:20 pm	Marc Snir Complexity of Computations at Extreme Scale (8 KB)
4:20 - 5:00 pm	Jeffrey Kuskin Verification Challenges of Specialized Hardware (56 KB)
5:00 - 5:30 pm	Message from NSF Anita LaSalle
5:30 - 5:45 pm	Wrap-Up Day Two and Announcements
6:00 pm	Bus pick-up at Sandia for Banquet at El Pinto Banquet Speaker: Stephen Booth QCD and Co-Design (29 KB)
9:30 pm	Bus pick-up at El Pinto for Return to Sandia

Wednesday, August 10, 2011, CSRI/90
8:00 - 8:45 am	Breakfast, CSRI/95
8:45 - 9:00 am	Welcome and Announcements
9:00 - 10:20 am	Session VII Mapping Software to Exascale: the Software-Hardware Boundary (continued) Srini Devadas (Moderator)
9:00 - 9:40 am	Vivek Sarkar and Richard Lethin Extreme Scale Runtime Primitives to bridge the Software/Hardware Boundary
9:40 - 10:20 am	Michael Wolfe Why the "MPI" Programming Model Will and Won't get us to Exascale (24 KB)
10:20 - 10:40 am	Break, CSRI/95
10:40 - 12:40 pm	Session VIII New Formalizations for Exascale: Abstract Machines, Emulators, Simulators, etc. (continued) Vivek Sarkar (Moderator)
10:40 - 11:20 am	Thomas Sterling Implications of a Revolutionary Execution Model for Advances in Architecture (56 KB)
11:20 - 12:00 pm	Adolfy Hoisie Modeling Execution Models (39 KB)
12:00 - 12:40 pm	Andrew Lumsdaine AM++: A generalized active message framework for next generation architectures (19 KB)
12:40 - 1:30 pm	Working Lunch CSRI/95
1:30 - 3:30 pm	Session IX Breakout Sessions: Parallel Discussions, Analysis, and Goals Organizing Committee
	Hardware-Software Interfaces CSRI/279 Rich Lethin and Arun Rodrigues (Moderator and Analysis)
	Verification and Computational Reproducibility CSRI/279 Marc Snir and Lenore Mullin (Moderator and Analysis)
	Abstract Machines, Emulators, and Simulators CSRI/279 Tom Sterling and John Shalf (Moderator and Analysis)
3:30 - 3:45 pm	Closing Remarks
3:45 - 4:00 pm	Break, CSRI/95
4:00 - 6:00 pm	Organizers Workshop Report Discussion and Preparation CSRI/279