Travelled to:
1 × USA
Collaborated with:
B.Braun A.J.Feldman S.T.V.Setty A.J.Blumberg M.Walfish
Talks about:
verifi (1) comput (1) state (1)
Person: Zuocheng Ren
DBLP: Ren:Zuocheng
Contributed to:
Wrote 1 papers:
- SOSP-2013-BraunFRSBW #verification
- Verifying computations with state (BB, AJF, ZR, STVS, AJB, MW), pp. 341–357.