March 23, 2015

How Amazon web services uses formal methods

Key Points

Key points are not available for this paper at this time.

Abstract

Engineers use TLA+ to prevent serious but subtle bugs from reaching production.

Connected Papers

Building similarity graph...

Analyzing shared references across papers

Discussion

Authors

Chris Newcombe

Oracle (United States)

Tim Rath

Amazon (United States)

Fan Zhang

Xi'an University of Architecture and Technology

Journals

Communications of the ACM

Actions

Institutions

Oracle (United States)

Amazon (United States)

References and Citations

Connected Papers

Building similarity graph...

Analyzing shared references across papers

Discussion

Cite this study

Newcombe et al. (Mon,) studied this question.

synapsesocial.com/papers/69ffd1d42ff633f36577b370 — DOI: https://doi.org/10.1145/2699417

Also consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

Why Amazon Chose TLA +· 2014 · 62 citations
Specifying and verifying fault-tolerant systems· 1994 · 64 citations
Checking a Multithreaded Algorithm with + CAL· 2006 · 33 citations
Fast Paxos· 2006 · 459 citations
The Wildfire Challenge Problem· 2001 · 10 citations

Also consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

Why Amazon Chose TLA +· 2014 · 62 citations
Specifying and verifying fault-tolerant systems· 1994 · 64 citations
Checking a Multithreaded Algorithm with + CAL· 2006 · 33 citations
Fast Paxos· 2006 · 459 citations
The Wildfire Challenge Problem· 2001 · 10 citations

How Amazon web services uses formal methods

Key Points

Abstract

Citation Network

Connected Papers

Discussion

Authors

Journals

Actions

Institutions

References and Citations

Citation Network

Connected Papers

Discussion

Cite this study

Also consider

Also consider