BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260522T150124Z
LOCATION:C141/143/149
DTSTART;TZID=America/Chicago:20181115T103000
DTEND;TZID=America/Chicago:20181115T120000
UID:submissions.supercomputing.org_SC18_sess207@linklings.com
SUMMARY:Programming Systems Tools
DESCRIPTION:Detecting MPI Usage Anomalies via Partial Program Symbolic Exe
 cution\n\nMPI is a message passing based programming model for distributed
 -memory parallelism that has been had been widely used for programming sup
 ercomputers for over 25 years. However, debugging and verification of MPI 
 programs is widely recognized to be a deep technical challenge. This chall
 enge is furthe...\n\n\nFangke Ye, Jisheng Zhao, and Vivek Sarkar (Georgia 
 Institute of Technology)\n---------------------\nParSy: Inspection and Tra
 nsformation of Sparse Matrix Computations for Parallelism\n\nIn this work,
  we describe ParSy, a framework that uses a novel inspection strategy alon
 g with a simple code transformation to optimize parallel sparse algorithms
  for shared memory processors. Unlike existing approaches that can suffer 
 from load imbalance and excessive synchronization, ParSy uses a n...\n\n\n
 Kazem Cheshmi (University of Toronto), Shoaib Kamil (Adobe Research), Mich
 elle Mills Strout (University of Arizona), and Maryam Mehri Dehnavi (Unive
 rsity of Toronto)\n---------------------\nDynamic Data Race Detection for 
 OpenMP Programs\n\nTwo concurrent accesses to a shared variable that are u
 nordered by synchronization are said to be a data race if at least one acc
 ess is a write. Data races cause shared memory parallel programs to behave
  unpredictably. This paper describes ROMP -- a tool for detecting data rac
 es in executions of sca...\n\n\nYizi Gu and John Mellor-Crummey (Rice Univ
 ersity)\n\nTag: Linear Algebra, Memory, MPI, OpenMP, Programming Systems, 
 Tools\n\nRegistration Category: Tech Program Reg Pass\n\nSession Chair: Na
 oya Maruyama (NVIDIA Corporation)
END:VEVENT
END:VCALENDAR