Visualizing Correctness Issues in OpenMP Programs
Feiyang Jin, Alan Tao, Lechen Yu, Vivek Sarkar. Visualizing Correctness Issues in OpenMP Programs. In 20th International Workshop on OpenMP (IWOMP 2024).
Feiyang Jin, Alan Tao, Lechen Yu, Vivek Sarkar. Visualizing Correctness Issues in OpenMP Programs. In 20th International Workshop on OpenMP (IWOMP 2024).
Jin, F., Zhang, Z., Barik, R., Korlam, G., & Chabbi, M. Early notice: GenAI-based Datarace Fix for Real-World Golang Programs.
Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, and Vivek Sarkar. Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 13:1-13:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/LIPIcs.ECOOP.2023.13
F. Jin, J. Jacobson, S. D. Pollard and V. Sarkar, "MiniKokkos: A Calculus of Portable Parallelism," 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), Dallas, TX, USA, 2022, pp. 37-44, doi: 10.1109/Correctness56720.2022.00010.