|
Zuocheng (Andy) Ren Alum, advised by Michael Walfisharea of interest distributed systems
email
ren at cs.utexas.edu Now at Google. |
publications
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, , Andrew J. Blumberg, and Michael Walfish In NDSS 2015 - bibtex
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, , Srinath Setty, Andrew J. Blumberg, and Michael Walfish In SOSP 2013 - pdf :: slides :: bibtex
Robustness in the Salus scalable block store
Yang Wang, Manos Kapritsos, , Prince Mahajan, Jeevitha Kirubanandam, Lorenzo Alvisi, and Mike Dahlin In NSDI 2013 - pdf :: bibtex |