Add paper "Systems Correctness Practices at Amazon Web Services"

Author: asatarin

README.md

@@ -389,6 +389,7 @@ specifically regression testing for correctness and performance bugs.
 * [Gain confidence in system correctness & resilience with formal methods](https://youtu.be/FdXZXnkMDxs) by Ankush Desai
 * [Fifteen years of formal methods at AWS](https://youtu.be/HxP4wi4DhA0) by Marc Brooker
 * [Proving the correctness of AWS authorization](https://youtu.be/oshxAJGrwMU)
+* [Systems Correctness Practices at Amazon Web Services](https://dl.acm.org/doi/full/10.1145/3729175)
 
 See also [formal methods](#formal-methods) and [deterministic simulation](#deterministic-simulation) sections.