- Home
- Register
- Attend
- Program
- Technical Program Overview
- SC14 Schedule
- Awards
- Birds-of-a-Feather Sessions (BOFs)
- Emerging Technologies
- Invited Talks
- Panels
- Papers
- Posters
- Scientific Visualization Showcase
- Tutorials
- Workshops
- Doctoral Showcase Program
- HPC Matters Plenary
- Keynote
- SC14 Archive
- SC14 Conference Program
- Tech Program Receptions
- Exhibit
- Engage
- Media
- Media Overview
- Media Releases
- Announcing the Second Test of Time Award Winner
- CDC to Present at Supercomputing 2014
- Finalists Compete for Coveted ACM Gordon Bell Prize in High Performance Computing
- Four Ways Supercomputing Is Changing Lives: From Climate Modeling to Manufacturing Consumer Goods
- Join the Student Cluster Competition
- New Orleans Becomes Home to Fastest Internet Hub in the World
- SC14 Announces New Plenary to Focus on the Importance of Supercomputers in Society
- SC14 Registration Opens, Technical Program Goes Live
- Supercomputing 2014 Recognizes Outstanding Achievements in HPC
- Supercomputing 2014 Sets New Records
- Supercomputing Invited Plenary Talks
- Supercomputing Unveils Ground-Breaking Innovations and the World’s Fastest Computer Network
- World’s Fastest Computer Network Coming to New Orleans
- SC14 Logo Usage
- SC14 Media Partners
- Social Media
- Newsletters
- SC14 Blog
- Opening Press Briefing
- SC Photograph and Film Acceptable Use Policy
- Media Registration
- Video Gallery
- SCinet
SCHEDULE: NOV 16-21, 2014
When viewing the Technical Program schedule, on the far righthand side is a column labeled "PLANNER." Use this planner to build your own schedule. Once you select an event and want to add it to your personal schedule, just click on the calendar icon of your choice (outlook calendar, ical calendar or google calendar) and that event will be stored there. As you select events in this manner, you will have your own schedule to guide you through the week.
MSL: A Synthesis Enabled Language for Distributed Implementations
SESSION: Compiler Analysis and Optimization
EVENT TYPE: Papers
TIME: 4:30PM - 5:00PM
SESSION CHAIR: Milind Kulkarni
AUTHOR(S):Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama
ROOM:393-94-95
ABSTRACT:
This paper presents a new methodology for implementing SPMD distributed memory kernels.
In this methodology, the programmer describes a generic implementation strategy for a particular class of kernels by writing a partial, generic implementation, and wrap it as a library with a concise and clean interface.
The programmer then relies on our system to derive a concrete MPI implementation that follows the strategy and matches a given reference implementation.
This methodology is made possible by a new set of language constructs that allow programmers to relate the behavior of a sequential reference implementation to a distributed implementation, and a new synthesis algorithm for distributed memory implementations.
We demonstrate the methodology by implementing non-trivial kernels from NAS Parallel Benchmarks. Our approach can automatically infer challenging details and produce efficient implementations which performs within 95% of hand-written Fortran code, while promoting reusability and reducing programmer effort by leveraging generative programming and synthesis.
Chair/Author Details:
Milind Kulkarni (Chair) - Purdue University
Zhilei Xu - Massachusetts Institute of Technology
Shoaib Kamil - Massachusetts Institute of Technology
Armando Solar-Lezama - Massachusetts Institute of Technology
Click here to download .ics calendar file
Click here to download .vcs calendar file
Click here to add event to your Google Calendar