![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Javed A. Aslam, Raluca A. Popa, Ronald L. Rivest: On Auditing Elections When Precincts Have Different Sizes. EVT 2008 |
2007 | ||
1 | EE | Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou: MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. SOSP 2007: 103-116 |
1 | Javed A. Aslam | [2] |
2 | Chongfeng Hu | [1] |
3 | Weihang Jiang | [1] |
4 | Zhenmin Li | [1] |
5 | Shan Lu | [1] |
6 | Xiao Ma | [1] |
7 | Soyeon Park | [1] |
8 | Ronald L. Rivest | [2] |
9 | Yuanyuan Zhou | [1] |