@misc{indiciaeee941e87de46, title = {Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL}, author = {Maya Gokhale and Ganesh Gopalakrishnan and Jackson Mayo and Santosh Nagarakatte and Cindy Rubio-González and Stephen F. Siegel}, year = {2023}, url = {https://arxiv.org/abs/2312.15640}, note = {Source identifier: 2312.15640} }