SCHEDULE: NOV 10-16, 2012
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.
MAAPED: A Predictive Dynamic Analysis Tool for MPI Applications
SESSION: Research Poster Reception
EVENT TYPE: Posters and Electronic Posters
TIME: 5:15PM - 7:00PM
SESSION CHAIR: Torsten Hoefler
AUTHOR(S):Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
ROOM:East Entrance
ABSTRACT:
Formal dynamic analysis of MPI programs is critically important since conventional testing tools for message passing programs don't cover the space of possible non-deterministic communication matches, thus may miss bugs in the unexamined execution scenarios. While modern dynamic verification techniques guarantee the coverage of non-deterministic communication matches, they do so indiscriminately, inviting exponential interleaving explosion. Though the general problem is difficult to solve, we show that a specialized dynamic analysis method can be developed for dramatically reducing the number of interleavings when looking for certain safety properties such as deadlocks. Our MAAPED (Messaging Application Analysis with Predictive Error Discovery) tool collects a single program trace and predicts deadlock presence in other (unexplored) traces of an MPI program. MAAPED hinges on initially computing the potential alternate matches for non-deterministic communication operations and then analyzes such matches which may lead to a deadlock. The results collected are encouraging.
Chair/Author Details:
Torsten Hoefler (Chair) - ETH Zurich
Subodh Sharma - University of Oxford
Ganesh Gopalakrishnan - University of Utah
Greg Bronevetsky - Lawrence Livermore National Laboratory
Click here to download .ics calendar file
Click here to download .vcs calendar file
Click here to add event to your Google Calendar
MAAPED: A Predictive Dynamic Analysis Tool for MPI Applications
SESSION: Research Poster Reception
EVENT TYPE:
TIME: 5:15PM - 7:00PM
SESSION CHAIR: Torsten Hoefler
AUTHOR(S):Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
ROOM:East Entrance
ABSTRACT:
Formal dynamic analysis of MPI programs is critically important since conventional testing tools for message passing programs don't cover the space of possible non-deterministic communication matches, thus may miss bugs in the unexamined execution scenarios. While modern dynamic verification techniques guarantee the coverage of non-deterministic communication matches, they do so indiscriminately, inviting exponential interleaving explosion. Though the general problem is difficult to solve, we show that a specialized dynamic analysis method can be developed for dramatically reducing the number of interleavings when looking for certain safety properties such as deadlocks. Our MAAPED (Messaging Application Analysis with Predictive Error Discovery) tool collects a single program trace and predicts deadlock presence in other (unexplored) traces of an MPI program. MAAPED hinges on initially computing the potential alternate matches for non-deterministic communication operations and then analyzes such matches which may lead to a deadlock. The results collected are encouraging.
Chair/Author Details:
Torsten Hoefler (Chair) - ETH Zurich
Subodh Sharma - University of Oxford
Ganesh Gopalakrishnan - University of Utah
Greg Bronevetsky - Lawrence Livermore National Laboratory
Click here to download .ics calendar file