• Valgrind - May 8, 2022
• Spin - March 27, 2022
• alloy - March 20, 2022
• Simple Testing Can Prevent Most Critical Failures - July 31, 2021
• TLA+ - July 24, 2021
• IronFleet - Proving Practical Distributed Systems Correct - July 17, 2021
• Berkeley DB - June 26, 2021
• Paxos - May 30, 2021
• The Google File System - May 17, 2021
• A simple and efficient implementation for small databases - May 16, 2021
• Google Chubby Lock Service - April 24, 2021
• Distributed Commit Protocols - April 18, 2021
• Conferences - April 17, 2021
• Distributed Hash Tables - April 11, 2021
• Fischer-Lynch-Paterson Impossibility Result - April 10, 2021