17 citations · 48 across the 18 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Enhanced Data Race Prediction Through Modular Reasoning
Zhendong Ang, Azadeh Farzan, Umang Mathur
There are two orthogonal methodologies for efficient prediction of data races from concurrent program runs: commutativity and prefix reasoning. There are several instances of each…
cs.PL2025★ 1 cited
Products of Recursive Programs for Hypersafety Verification (Extended Version)
Ruotong Cheng, Azadeh Farzan
We study the problem of automated hypersafety verification of infinite-state recursive programs. We propose an infinite class of product programs, specifically designed with recurs…