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