Visualizing Correctness Issues in OpenMP Programs. - Feiyang Jin; Alan Tao; Lechen Yu; Vivek Sarkar (IWOMP, 2024)