2 papers
cs.PL2025
Dynamic Race Detection With O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur +1
Happens before-based dynamic analysis is the go-to technique for detecting data races in large scale software projects due to the absence of false positive reports. However, such a…
cs.NI2025
DAWN: Designing Distributed Agents in a Worldwide Network
Zahra Aminiranjbar, Jianan Tang, Qiudan Wang +2
The rapid evolution of Large Language Models (LLMs) has transformed them from basic conversational tools into sophisticated entities capable of complex reasoning and decision-makin…