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:20260522T150123Z
LOCATION:D171
DTSTART;TZID=America/Chicago:20181112T090000
DTEND;TZID=America/Chicago:20181112T090500
UID:submissions.supercomputing.org_SC18_sess150_wksp114@linklings.com
SUMMARY:Introduction - 2nd International Workshop on Software Correctness 
 for HPC Applications (Correctness 2018)
DESCRIPTION:Ignacio Laguna (Lawrence Livermore National Laboratory) and Ci
 ndy Rubio-González (University of California, Davis)\n\nEnsuring the corre
 ctness of high-performance computing (HPC) applications is one of the fund
 amental challenges that developers and users of these applications face to
 day. An application is correct when it performs what a user expects with r
 espect to a specification. Given today's complex HPC software stack, corre
 ctness is very difficult to achieve: the use of combined parallel programi
 ng models (e.g., MPI+OpenMP), complex compiler optimizations/transformatio
 ns, floating-point precision issues, and unanticipated scale-dependent beh
 avior, are some of the challenges to achieve correctness. As emerging prog
 raming models and heterogeneous architectures become more predominant in H
 PC, the level of nondeterminism in applications increase, which makes the 
 isolation of software bugs much harder. The aim of this workshop is to bri
 ng together researchers and developers to present and discuss novel ideas 
 to address the problem of correctness in HPC.\n\nTag: Applications, Correc
 tness, Debugging, Floating Point, MPI, OpenMP, Runtime Systems, Tools, Ver
 ification\n\nRegistration Category: Workshop Reg Pass\n\nSession Chairs: I
 gnacio Laguna (Lawrence Livermore National Laboratory (LLNL)) and Cindy Ru
 bio-González (University of California, Davis)\n\n
END:VEVENT
END:VCALENDAR