Misreading Chat

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3


Listen Later

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か [email protected] にお寄せください。iTunes のレビューや星も歓迎です。

  • Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
  • Prusti – Programming Methodology Group | ETH Zurich
  • tokio-rs/loom: Concurrency permutation testing tool for Rust.
  • awslabs/shuttle: Shuttle is a library for testing concurrent Rust code
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Misreading ChatBy Hajime Morrita, Jun Mukai

    • 5
    • 5
    • 5
    • 5
    • 5

    5

    6 ratings


    More shows like Misreading Chat

    View all
    Rebuild by Tatsuhiko Miyagawa

    Rebuild

    48 Listeners

    耳で学ぶAI、ロボシンク by 矢野 哲平

    耳で学ぶAI、ロボシンク

    0 Listeners