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.
Bernd Mohr (Chair) - Juelich Supercomputing Centre