How Amazon web services uses formal methods

By C. Newcombe, Tim Rath, Fan Zhang, B. Munteanu, Marc Brooker, Michael Deardeuff. Communications of the ACM, 2015

400 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Signal Processing

View Paper: https://www.semanticscholar.org/paper/fe9b19732e41c2c3b0e3d2c4f2d90be2f5129708

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Srinath T. V. Setty
2. Bryan Parno
3. Jon Howell
4. Brian Zill
5. Michael Walfish
6. Andrew Justin Blumberg
7. Eli Ben-Sasson
8. Justin Thaler

In Signal Processing

1. Bryan Parno
2. Chris Hawblitzel

Citations in the corpus

• IronFleet: proving practical distributed systems correct (2015, background): “However, due to the complexity of these systems, previous work has primarily focused on formally specifying [4, 13, 27, 41, 48, 64], verifying [3, 52, 53, 60, 61], or at least bug-checking [20, 31, 69] distributed protocols, often in a simplified form, without extending such formal reasoning to the ”