3 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 determine…
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…
cs.CR2023
Deciding Differential Privacy of Online Algorithms with Multiple Variables
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan +1
We consider the problem of checking the differential privacy of online randomized algorithms that process a stream of inputs and produce outputs corresponding to each input. This p…