BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20210402T160553Z
LOCATION:Track 10
DTSTART;TZID=America/New_York:20201111T143000
DTEND;TZID=America/New_York:20201111T183000
UID:submissions.supercomputing.org_SC20_sess205@linklings.com
SUMMARY:Correctness 2020: 4th International Workshop on Software Correctne
 ss for HPC Applications
DESCRIPTION:Workshop\n\nToward Compiler-Aided Correctness Checking of Adjo
 int MPI Applications\n\nHück, Protze, Lehr\n\nAlgorithmic Differentiation 
 (AD) is a set of techniques to calculate derivatives of a computer program
 .  In C++, AD typically requires (i) a type change of the built-in double,
  and (ii) a replacement of all MPI calls with AD-specific implementations.
   This poses challenges on MPI correctness tools, ...\n\n-----------------
 ----\nEnhancing DataRaceBench for Evaluating Data Race Detection Tools\n\n
 Verma, Shi, Liao, Chapman, Yan\n\nDataRaceBench is a dedicated benchmark s
 uite to evaluate tools aimed to find data race bugs in OpenMP programs. Si
 nce its initial release in 2017, DataRaceBench has been widely used by too
 l developers to find the strengths and limitations of their tools. The res
 ults also provide an apple-to-apple co...\n\n---------------------\nPARCOA
 CH Extension for Static MPI Nonblocking and Persistent Communication Valid
 ation\n\nNguyen, Saillard, Jaeger, Barthou, Carribault\n\nThe Message Pass
 ing Interface (MPI) is a parallel programming model used to exchange data 
 between working units in different nodes of a supercomputer. While MPI blo
 cking operations return when the communication is complete, nonblocking an
 d persistent operations return before the communication is com...\n\n-----
 ----------------\nCorrectness-Preserving Compression of Datasets and Neura
 l Network Models\n\nJoseph, Chalapathi, Bhaskara, Gopalakrishnan, Panchekh
 a...\n\nNeural networks deployed on edge devices must be efficient both in
  terms of their model size and the amount of data movement they cause when
  classifying inputs. These efficiencies are typically achieved through mod
 el compression: pruning a fully trained network model by zeroing out the w
 eights. Give...\n\n---------------------\nOrder Matters: A Case Study on R
 educing Floating Point Error in Sums through Ordering and Grouping\n\nJob,
  Grove, Fogerty, Mauney, Neuman...\n\nDue to accumulated round-off error, 
 mathematically equivalent floating-point summations can yield different co
 mputational results. Errors propagated across time steps can be substantia
 l and can lead to significant inaccuracy in the final results. We focus on
  sums in an adaptive mesh refinement hydro...\n\n---------------------\nA 
 Statistical Analysis of Error in MPI Reduction Operations\n\nPollard, Norr
 is\n\nThis work explores the effects of nonassociativity of floating-point
  addition on Message Passing Interface (MPI) reduction operations. Previou
 s work indicates floating-point summation error is comprised of two indepe
 ndent factors: error based on summation algorithm and error based on the s
 ummands th...\n\n---------------------\nCorrectness 2020 – Break\n\n\n\n--
 -------------------\nCorrectness 2020 – Introduction: 4th International Wo
 rkshop on Software Correctness for HPC Applications\n\nLaguna, Rubio-Gonzá
 lez\n\nEnsuring correctness in high-performance computing (HPC) applicatio
 ns is one of the fundamental challenges that the HPC community faces today
 . While significant advances in verification, testing and debugging have b
 een made to isolate software defects in the context of non-HPC software, s
 everal fact...\n\n---------------------\nReproducible Scientific Computing
 : Progress and Challenges\n\nBailey\n\nThe field of high-performance compu
 ting has long been plagued by reproducibility problems. In the early 1990s
 , lax standards for reporting performance led to considerable confusion an
 d some loss of credibility for the field. Even today, the HPC field signif
 icantly lags other fields of scientific res...\n\n\nRegistration Category:
  Workshop Reg Pass
END:VEVENT
END:VCALENDAR