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:20260522T150118Z
LOCATION:D171
DTSTART;TZID=America/Chicago:20181112T105000
DTEND;TZID=America/Chicago:20181112T111000
UID:submissions.supercomputing.org_SC18_sess150_ws_corr110@linklings.com
SUMMARY:HPC Software Verification in Action: A Case Study with Tensor Tran
 sposition
DESCRIPTION:Erdal Mutlu, Ajay Panyala, and Sriram Krishnamoorthy (Pacific 
 Northwest National Laboratory)\n\nAs HPC platforms get increasingly comple
 x, the complexity of software optimized for these platforms has also incre
 ased. There is a pressing need to ensure correctness of scientific applica
 tions to enhance our confidence in the results they produce. In this paper
 , we focus on checking the correctness of libraries providing a small but 
 important functionality---tensor transposition---used in computational che
 mistry applications. While several correctness tools have been developed a
 nd deployed, there are several practical challenges in using them to verif
 y production HPC software. We present our experiences using two tools---CI
 VL and CodeThorn---in checking the correctness of two index permutation li
 braries. We observe that, with some effort, the tools we evaluated can han
 dle kernels from production codes. We present observations that will aid l
 ibrary writers to write code that can be checked with these tools.\n\nTag:
  Applications, Correctness, Debugging, Floating Point, MPI, OpenMP, Runtim
 e Systems, Tools, Verification\n\nRegistration Category: Workshop Reg Pass
 \n\nSession Chairs: Ignacio Laguna (Lawrence Livermore National Laboratory
  (LLNL)) and Cindy Rubio-González (University of California, Davis)\n\n
END:VEVENT
END:VCALENDAR