Feiyang Jin

Feiyang Jin

he/him

Yangzhou -> St. Louis -> Atlanta -> ?

Posts by Collection

portfolio

publications

MiniKokkos: A Calculus of Portable Parallelism

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

Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises

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

Visualizing Correctness Issues in OpenMP Programs

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

talks

teaching