BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
X-LIC-LOCATION:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20230831T095746Z
LOCATION:Wisshorn
DTSTART;TZID=Europe/Stockholm:20230627T163000
DTEND;TZID=Europe/Stockholm:20230627T170000
UID:submissions.pasc-conference.org_PASC23_sess143_msa212@linklings.com
SUMMARY:Sustainable and Reliable Computing with Tools: Analyzing Precision
  Appetites of CFD Applications with VerifiCarlo
DESCRIPTION:Minisymposium\n\nRoman Iakymchuk (Umeå University)\n\nThe ener
 gy consumption constraint for large-scale computing encourages scientists 
 to revise the architecture design of hardware but also applications, algor
 ithms, as well as the underlying working/ storage precision. The main aim 
 is to make the computing cost sustainable and apply the lagom principle ('
 'not too much, not too little, the right amount"), especially when it come
 s to working/ storage precision. Thus, I will introduce an approach to add
 ress the issue of sustainable, but still reliable, computations from the p
 erspective of computer arithmetic tools. Before lowering precision, one ne
 eds to ensure that the simulation is numerically correct, e.g. by relying 
 on alternative floating-point models/ rounding to pinpoint numerical bugs 
 and to estimate the accuracy. We employ VerifiCarlo and its variable preci
 sion backend to identify the parts of the code that benefit from smaller f
 loating-point formats. Finally, we show preliminary results on proxies of 
 CFD applications.\n\nDomain: Engineering\n\nSession Chair: Philipp Schlatt
 er (Friedrich-Alexander-Universität Erlangen-Nürnberg, KTH Royal Institute
  of Technology)
END:VEVENT
END:VCALENDAR