Kyle Sauri

According to our database, Kyle Sauri authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.

James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021