BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Denver
X-LIC-LOCATION:America/Denver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20200129T163559Z
LOCATION:712
DTSTART;TZID=America/Denver:20191118T090000
DTEND;TZID=America/Denver:20191118T090500
UID:submissions.supercomputing.org_SC19_sess118_wksp126@linklings.com
SUMMARY:3nd International Workshop on Software Correctness for HPC Applica
 tions (Correctness 2019)
DESCRIPTION:Workshop\n\n3nd International Workshop on Software Correctness
  for HPC Applications (Correctness 2019)\n\nLaguna, Rubio-González\n\nEnsu
 ring correctness in high-performance computing (HPC) applications is one o
 f the fundamental challenges that the HPC community faces today.  While si
 gnificant advances in verification, testing, and debugging have been made 
 to isolate software errors (or defects) in the context of non-HPC software
 , several factors make achieving correctness in HPC applications and syste
 ms much more challenging than in general systems software—growing heteroge
 neity (architectures with CPUs, GPUs, and special purpose accelerators), m
 assive scale computations (very high degree of concurrency), use of combin
 ed parallel programing models (e.g., MPI+X), new scalable numerical algori
 thms (e.g., to leverage reduced precision in floating-point arithmetic),  
 and aggressive compiler optimizations/transformations are some of the chal
 lenges that make correctness harder in HPC. As the complexity of future ar
 chitectures, algorithms, and applications in HPC increases, the ability to
  fully exploit exascale systems will be limited without correctness.  With
  the continuous use of HPC software to advance scientific and technologica
 l capabilities, novel techniques and practical tools for software correctn
 ess in HPC are invaluable.  The goal of the Correctness Workshop is to bri
 ng together researchers and developers to present and discuss novel ideas 
 to address the problem of correctness in HPC. The workshop will feature co
 ntributed papers and invited talks in this area.\n\nTag: Workshop Reg Pass
 , Correctness, Debugging, Reliability, Verification\n\nRegistration Catego
 ry: Workshop Reg Pass, Correctness, Debugging, Reliability, Verification
URL:https://sc19.supercomputing.org/presentation/?id=wksp126&sess=sess118
END:VEVENT
END:VCALENDAR