2 papers
cs.PL2026
Efficient Dynamic Algorithms to Predict Short Races
Minjian Zhang, Mahesh Viswanathan
We introduce and study the problem of detecting short races in an observed trace. Specifically, for a race type , given a trace and window size , the task is to determin…
cs.CR2025
Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla +1
The verification of differential privacy algorithms that employ Gaussian distributions is little understood. This paper tackles the challenge of verifying such programs by introduc…