Presentation <Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsHPC Bugs Fest IntroductionSession7th International Workshop on Software Correctness for HPC Applications (Correctness '23)DescriptionPresenterEmmanuelle SaillardFrench Institute for Research in Computer Science and Automation (INRIA)Event TypeWorkshopTimeSunday, 12 November 20232:10pm - 2:20pm MSTLocation708Tags Applications Software Engineering Registration Categories W Archive view Next PresentationNext PresentationMapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers