Verifying computations without reexecuting them

Michael Walfish, Andrew J. Blumberg

Research output: Contribution to journalArticle

Abstract

From theoretical possibility to near practicality.

Original languageEnglish (US)
Pages (from-to)74-84
Number of pages11
JournalCommunications of the ACM
Volume58
Issue number2
DOIs
StatePublished - Jan 28 2015

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Verifying computations without reexecuting them. / Walfish, Michael; Blumberg, Andrew J.

In: Communications of the ACM, Vol. 58, No. 2, 28.01.2015, p. 74-84.

Research output: Contribution to journalArticle

Walfish, Michael ; Blumberg, Andrew J. / Verifying computations without reexecuting them. In: Communications of the ACM. 2015 ; Vol. 58, No. 2. pp. 74-84.
@article{fc1cc3191a4043a7b0f46450fcf25610,
title = "Verifying computations without reexecuting them",
abstract = "From theoretical possibility to near practicality.",
author = "Michael Walfish and Blumberg, {Andrew J.}",
year = "2015",
month = "1",
day = "28",
doi = "10.1145/2641562",
language = "English (US)",
volume = "58",
pages = "74--84",
journal = "Communications of the ACM",
issn = "0001-0782",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

TY - JOUR

T1 - Verifying computations without reexecuting them

AU - Walfish, Michael

AU - Blumberg, Andrew J.

PY - 2015/1/28

Y1 - 2015/1/28

N2 - From theoretical possibility to near practicality.

AB - From theoretical possibility to near practicality.

UR - http://www.scopus.com/inward/record.url?scp=84922575305&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84922575305&partnerID=8YFLogxK

U2 - 10.1145/2641562

DO - 10.1145/2641562

M3 - Article

AN - SCOPUS:84922575305

VL - 58

SP - 74

EP - 84

JO - Communications of the ACM

JF - Communications of the ACM

SN - 0001-0782

IS - 2

ER -