BEGIN:VCALENDAR
PRODID:-//Microsoft Corporation//Outlook MIMEDIR//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20111116T011500Z
DTEND:20111116T030000Z
LOCATION:WSCC North Galleria 2nd/3rd Floors
DESCRIPTION;ENCODING=QUOTED-PRINTABLE: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.=0A=0AWe 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.
SUMMARY:GEM: A Formal Dynamic Verification Environment for HPC Pedagogy
PRIORITY:3
END:VEVENT
END:VCALENDAR