Session <Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsWorkshop: 7th International Workshop on Software Correctness for HPC Applications (Correctness '23)Session ChairsIgnacio LagunaLawrence Livermore National Laboratory (LLNL)Emmanuelle SaillardFrench Institute for Research in Computer Science and Automation (INRIA)Cindy Rubio-GonzálezUniversity of California, DavisEvent TypeWorkshopTimeSunday, 12 November 20232pm - 5:30pm MSTLocation708Tags Applications Software Engineering Registration Categories W Presentations2:00pm - 2:10pm MSTCorrectness Workshop Opening RemarksPresentersIgnacio LagunaCindy Rubio-González2:10pm - 2:20pm MSTHPC Bugs Fest IntroductionPresenterEmmanuelle Saillard2:20pm - 2:40pm MSTMapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer FibersAuthor/PresentersJoachim JenkeSimon SchwitanskiIsabel ThärigenMatthias S. Müller2:40pm - 3:00pm MSTRethinking Data Race Detection in MPI-RMA ProgramsAuthor/PresentersRadjasouria VinayagameEmmanuelle SaillardSamuel ThibaultVan Man NguyenMarc Sergent3:00pm - 3:30pm MSTCorrectness '23 – Afternoon Break3:30pm - 3:50pm MSTRMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA ProgramsAuthor/PresentersSimon SchwitanskiJoachim JenkeSven KlotzMatthias S. Müller3:50pm - 4:10pm MSTData Race Detection Using Large Language ModelsAuthor/PresentersLe ChenXianzhong DingPei-Hung LinChunhua LiaoMurali EmaniTristan Vanderbruggen4:10pm - 4:30pm MSTMixed-Precision S/DGEMM Using the TF32 and TF64 Frameworks on Low-Precision AI Tensor CoresAuthor/PresentersPedro Valero-LaraIan JorqueraFrank LuiJeffrey Vetter4:30pm - 4:42pm MSTToward Correctness Checking of MPI Partitioned Communication in MUSTAuthor/PresentersSimon SchwitanskiNiko SakicJoachim JenkeFelix TomskiMarc-André Hermanns4:42pm - 4:54pm MSTAdding Microbenchmarks with SIMD Data Race to DataRaceBenchAuthor/PresentersJoachim JenkeKaloyan IgnatovSimon Schwitanski4:54pm - 5:06pm MSTInvestigating the Real-World Applicability of MPI Correctness BenchmarksAuthor/PresentersAlexander HückTim JammerJoachim JenkeChristian Bischof5:06pm - 5:18pm MSTImprove and Stabilize Classification Results of DataRaceBenchAuthor/PresentersJoachim JenkeSimon Schwitanski5:18pm - 5:30pm MSTHighlighting PARCOACH Improvements on MBIAuthor/PresentersPhilippe VirouleauEmmanuelle SaillardMarc SergentPierre Lemarinier