Presentation <Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsCorrectness Workshop Opening RemarksSession7th International Workshop on Software Correctness for HPC Applications (Correctness '23)DescriptionPresentersIgnacio LagunaLawrence Livermore National Laboratory (LLNL)Cindy Rubio-GonzálezUniversity of California, DavisEvent TypeWorkshopTimeSunday, 12 November 20232pm - 2:10pm MSTLocation708Tags Applications Software Engineering Registration Categories W Archive view Next PresentationNext PresentationHPC Bugs Fest Introduction