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.

ENTIRE WEEK SUNDAY MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY

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

ABSTRACT:

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.