Published in The 20th International Workshop on OpenMP (IWOMP 2024), 2024
This work builds a data race visualizer for OpenMP programs
Recommended citation: Feiyang Jin, Alan Tao, Lechen Yu, Vivek Sarkar. Visualizing Correctness Issues in OpenMP Programs. In 20th International Workshop on OpenMP (IWOMP 2024).
Download Paper
Published in Machine Learning for Systems 2023, 2023
This work uses Large Language Model to fix data races
Recommended citation: Jin, F., Zhang, Z., Barik, R., Korlam, G., & Chabbi, M. Early notice: GenAI-based Datarace Fix for Real-World Golang Programs.
Download Paper
Published in 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
This paper first defines what is determinism for task-parallel programs with promises. It then proves for such programs, data-race freedom guarantees determinism. After that, we propose a new data race detection algorithm, implement it and evaluate its performance.
Recommended citation: 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
Download Paper
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), 2022
This work builds a core language for Kokkos
Recommended citation: 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.
Download Paper