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.

Static Analysis of MPI Programs Targeting Parallel Properties

SESSION: ACM Student Research Competition Poster Reception

EVENT TYPE: ACM Student Research Competition

TIME: 5:15PM - 7:00PM

AUTHOR(S):Sriram Aananthakrishnan

ROOM:New Orleans Theater Lobby


MPI is one of the dominant programming model for writing HPC applications.
Unfortunately, debugging MPI programs is hard. It is well known that static dataflow analysis discovers provably true properties that are useful in optimization and proving correctness. Existing techniques fail to interpret MPI operations for their message passing semantics thereby lacking the ability to recognize parallel properties of MPI programs. Parallel properties are properties about communication topology or properties that depend on communication; e.g., reaching constants over MPI operations. In this work we propose (i) new abstractions and techniques to statically discover the communication topology (ii) provide a framework for writing dataflow analyses to recognize parallel properties of MPI programs.

Chair/Author Details:

Sriram Aananthakrishnan - University of Utah

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