Hacker News
- An empirical study on the correctness of formally verified distributed systems https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ 16 comments
Linking pages
- GitHub - hwayne/awesome-cold-showers: For when people get too hyped up about things https://github.com/hwayne/awesome-cold-showers 909 comments
- Some thoughts on security after ten years of qmail 1.0 | the morning paper https://blog.acolyer.org/2018/01/17/some-thoughts-on-security-after-ten-years-of-qmail-1-0/ 127 comments
- The role of software in spacecraft accidents | the morning paper https://blog.acolyer.org/2017/11/30/the-role-of-software-in-spacecraft-accidents/ 9 comments
- Scaling symbolic evaluation for automated verification of systems code with Serval | the morning paper https://blog.acolyer.org/2019/11/13/scaling-symbolic-evaluation-serval/ 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Linked pages
- Use of Formal Methods at Amazon Web Services | the morning paper http://blog.acolyer.org/2014/11/24/use-of-formal-methods-at-amazon-web-services/ 3 comments
- Redundancy does not imply fault tolerance: analysis of distributed storage reactions to single errors and corruptions | the morning paper https://blog.acolyer.org/2017/03/08/redundancy-does-not-imply-fault-tolerance-analysis-of-distributed-storage-reactions-to-single-errors-and-corruptions/ 2 comments
- All File Systems are Not Created Equal: On the Complexity of Crafting Crash Consistent Applications | the morning paper http://blog.acolyer.org/2016/02/11/fs-not-equal/ 1 comment
- IronFleet: Proving Practical Distributed Systems Correct | the morning paper http://blog.acolyer.org/2015/10/15/ironfleet-proving-practical-distributed-systems-correc/ 0 comments
- https://homes.cs.washington.edu/~pfonseca/papers/eurosys2017-dsbugs.pdf 0 comments
- Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation | the morning paper http://blog.acolyer.org/2016/02/23/not-quite-so-broken-tls/ 0 comments
- With Cosmos DB, Microsoft wants to build one database to rule them all • TechCrunch https://techcrunch.com/2017/05/10/with-cosmos-db-microsoft-wants-to-build-one-database-to-rule-them-all/ 0 comments
Related searches:
Search whole site: site:blog.acolyer.org
Search title: An empirical study on the correctness of formally verified distributed systems | the morning paper
See how to search.