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 Correctness Workshop Opening RemarksSession7th International Workshop on Software Correctness for HPC Applications (Correctness '23)DescriptionPresentersIgnacio LagunaLawrence Livermore National LaboratoryCindy Rubio-GonzálezUniversity of California, DavisEvent TypeWorkshopTimeSunday, 12 November 20232pm - 2:10pm MSTLocation708ask a questiongive feedbackTags Applications Software Engineering Registration Categories W Next PresentationNext PresentationHPC Bugs Fest Introduction