SC is the International Conference for
High Performance Computing, Networking,
Storage and Analysis



SCHEDULE: NOV 12-18, 2011

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.

You can also create your personal schedule on the SC11 app (Boopsie) on your smartphone. Simply select a session you want to attend and "add" it to your plan. Continue in this manner until you have created your own personal schedule. All your events will appear under "My Event Planner" on your smartphone.

GEM: A Formal Dynamic Verification Environment for HPC Pedagogy

SESSION: ACM Student Research Competition Poster Session

EVENT TYPE: ACM Student Research Competition Poster

TIME: 5:15PM - 7:00PM

SESSION CHAIR: Bernd Mohr

AUTHOR(S):Brandon L. Gibson

ROOM:WSCC North Galleria 2nd/3rd Floors

ABSTRACT:
Traditional testing tools are ineffective and inefficient at detecting deep-seated logical bugs in parallel code, lack graphical tools integrated into popular IDE’s, fail to explain why a bug arises, and fail at teaching the use of these tools. Previously, our group provided an efficient MPI testing tool called ISP, which guarantees to detect many types of deadlocks, assertion violations, resource leaks, irrelevant barriers, and MPI message type mismatches. We then deployed the Graphical Explorer of MPI Programs (GEM) as an Eclipse plug-in to PTP. We now present three new contributions to GEM. First, the GEM Visualizer. This allows users to see which interactions among MPI operations led to the bug. Second is to integrate GEM projects from a popular MPI programming book by Peter Pacheco, allowing an instructor to illustrate the MPI behavior of each example. Last, we are enhancing GEM to display threaded behavior in addition to MPI communications.

Chair/Author Details:

Bernd Mohr (Chair) - Juelich Supercomputing Centre

Brandon L. Gibson - 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

   Sponsors    ACM    IEEE