54 citations · 138 across the 46 of their papers we have counts for
1 paper · 2 filters
Sheela Devadas, Ronitt Rubinfeld
We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n…