2 papers
cs.DC2026
A Lock-Free Work-Stealing Algorithm for Bulk Operations
Raja Sai Nandhan Yadav Kataru, Danial Davarnia, Ali Jannesari
Work-stealing is a widely used technique for balancing irregular parallel workloads, and most modern runtime systems adopt lock-free work-stealing deques to reduce contention and i…
cs.DC2025
Data Race Satisfiability on Array Elements
Junhyung Shim, Quazi Ishtiaque Mahmud, Ali Jannesari
Detection of data races is one of the most important tasks for verifying the correctness of OpenMP parallel codes. Two main models of analysis tools have been proposed for detectin…