Skip to main content
Ryan Orban

Ryan Orban

Subject
2 entries

Formal Methods

Bookmarks

  1. How Amazon Web Services Uses Formal Methods

    Newcombe et al. (CACM 2015) describe how Amazon Web Services engineers use TLA+ to specify and verify distributed systems protocols, finding real bugs in S3, DynamoDB, and EBS before deployment. One of the few industrial accounts of formal methods working in production at scale.

  2. Crash Course on Notation in Programming Language Theory

    Jeremy Siek's crash course on the mathematical notation used in programming language theory — inference rules, judgments, big-step and small-step semantics. Essential reading before tackling any PL paper.

All bookmarks