Verifying computations without reexecuting them

Michael Walfish; Andrew J. Blumberg

doi:10.1145/2641562

Verifying computations without reexecuting them

Michael Walfish, Andrew J. Blumberg

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

From theoretical possibility to near practicality.

Original language	English (US)
Pages (from-to)	74-84
Number of pages	11
Journal	Communications of the ACM
Volume	58
Issue number	2
DOIs	https://doi.org/10.1145/2641562
State	Published - Jan 28 2015

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/2641562

Cite this

@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 = jan,

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

SN - 0001-0782

VL - 58

SP - 74

EP - 84

JO - Communications of the ACM

JF - Communications of the ACM

IS - 2

ER -

Verifying computations without reexecuting them

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this