Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. - Maya B. Gokhale; Ganesh Gopalakrishnan; Jackson Mayo; Santosh Nagarakatte; Cindy Rubio-González; Stephen F. Siegel (CoRR, 2023)