Systems Correctness Practices at Amazon Web Services(cacm.acm.org)

345 points by tanelpoder 1 year ago | 127 comments

Communications of the ACM practice article by Marc Brooker and Ankush Desai on how AWS uses formal and semi-formal methods to ensure systems correctness.

What can you confidently guarantee about your software?(queue.acm.org)

104 points by eatonphil 3 months ago | 47 comments

WebAssembly: Yes, but for What?(queue.acm.org)

69 points by todsacerdoti 1 year ago | 64 comments

Fifty Years of Open Source Software Supply Chain Security(queue.acm.org)

173 points by yarapavan 1 year ago | 64 comments

Hardening the C++ Standard Library at scale(queue.acm.org)

146 points by ndesaulniers 11 months ago | 77 comments

Practical Security in Production(queue.acm.org)

13 points by tkhattra 11 months ago | 1 comments