Presentation Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMaps SIGN IN TO VIEW THIS PRESENTATION Sign In This content is available for: Workshop Reg Pass. Upgrade Registration HPC 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 MSTLocation708ask a questiongive feedbackTags Applications Software Engineering Registration Categories W Next PresentationNext PresentationMapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers