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:20181221T160727Z
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:Workshop\nCorrectness, Debugging, Verification, Workshop Reg P
 ass\n\nIntroduction - 2nd International Workshop on Software Correctness f
 or HPC Applications (Correctness 2018)\n\nLaguna, Rubio-González\n\nEnsuri
 ng the correctness of high-performance computing (HPC) applications is one
  of the fundamental challenges that developers and users of these applicat
 ions face today. An application is correct when it performs what a user ex
 pects with respect to a specification. Given today's complex HPC software 
 stack, correctness is very difficult to achieve: the use of combined paral
 lel programing models (e.g., MPI+OpenMP), complex compiler optimizations/t
 ransformations, floating-point precision issues, and unanticipated scale-d
 ependent behavior, are some of the challenges to achieve correctness. As e
 merging programing models and heterogeneous architectures become more pred
 ominant in HPC, the level of nondeterminism in applications increase, whic
 h makes the isolation of software bugs much harder. The aim of this worksh
 op is to bring together researchers and developers to present and discuss 
 novel ideas to address the problem of correctness in HPC.
URL:https://sc18.supercomputing.org/presentation/?id=wksp114&sess=sess150
END:VEVENT
END:VCALENDAR