6 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
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…