MiniKokkos: A Calculus of Portable Parallelism. - Feiyang Jin; John Jacobson; Samuel D. Pollard; Vivek Sarkar (Correctness@SC, 2022)

Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. - Lechen Yu; Feiyang Jin; Joachim Protze; Vivek Sarkar (Correctness@SC, 2022)

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. - Feiyang Jin; Lechen Yu; Tiago Cogumbreiro; Jun Shirako; Vivek Sarkar (ECOOP, 2023)

Determinacy Race Detector for Promises (Artifact). - Feiyang Jin; Lechen Yu (Dagstuhl Artifacts Ser., 2023)

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

Facilitating Bug Detection for OpenMP Offloading Applications. - Lechen Yu; Feiyang Jin; Joachim Jenke; Vivek Sarkar (SC Workshops, 2024)