Feiyang Jin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Parallel Computing

False Positives

Conjunctive Queries

Detection Method

Top Venues

Dagstuhl Artifacts Ser.

Publications

Feiyang Jin, Lechen Yu
Determinacy Race Detector for Promises (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. ECOOP (2023)
Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar
MiniKokkos: A Calculus of Portable Parallelism. Correctness@SC (2022)
Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. Correctness@SC (2022)