sponsored byIEEEACMThe International Conference for High Performance 
Computing, Networking, Storage and Analysis
FacebookTwitterGoogle PlusLinkedInYouTubeFlickr

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


TIME: 4:30PM - 5:00PM

SESSION CHAIR: Milind Kulkarni

AUTHOR(S):Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama



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

Add to iCal  Click here to download .ics calendar file

Add to Outlook  Click here to download .vcs calendar file

Add to Google Calendarss  Click here to add event to your Google Calendar

Paper provided by the ACM Digital Library

Paper also available from IEEE Computer Society